6. Ни один не-x не есть y.
7. Некоторые не-x суть не-y.
8. Все не-x суть не-y.
9. Некоторые не-y существуют.
10. Ни один не-x не существует.
11. Некоторые y суть x, и некоторые y суть не-x.
12. Все x суть y, и все не-y есть не-x.
«Мир» – множество наций, x=«цивилизованные», y=«воинственные».
13. Ни одна нецивилизованная нация не воинственна.
14. Все невоинственные нации нецивилизованны.
15. Некоторые нации не воинственны.
16. Все воинственные нации цивилизованны, и все цивилизованные нации воинственны.
17. Ни одна нация не нецивилизована.
«Мир» – множество крокодилов, x=«голодные», y=«дружественно настроенные».
18. Все голодные крокодилы не настроены дружественно.
19. Ни один крокодил не настроен дружественно, когда он голоден.
20. Некоторые крокодилы, когда они не голодны, настроены дружественно, некоторые же – не дружественно.
21. Ни один крокодил не настроен дружественно, и некоторые крокодилы голодны.
22. Все крокодилы, когда они не голодны, настроены дружественно, и все не дружественно настроенные крокодилы голодны.
23. Некоторые голодные крокодилы настроены дружественно, и некоторые неголодные крокодилы не настроены дружественно.
5. Интерпретация фишек, расставленных на малой диаграмме
1.
2.
3.
4.
«Мир» – множество домов, x=«кирпичные», y=«двухэтажные».
Что означают следующие диаграммы?
5.
6.
7.
8.
«Мир» – множество мальчишек, x=«толстые», y=«ловкие».
Что означают следующие диаграммы?
9.
10.
11.
12.
«Мир» – множество кошек, x=«зеленоглазые», y=«ручные».
Что означают следующие диаграммы?
13.
14.
15.
16.
6. Суждения, представимые на большой диаграмме
С помощью красных и черных фишек изобразите на большой диаграмме следующие суждения.
1. Ни один x не есть m.
2. Некоторые y суть m'.
3. Все m суть x'.
