4. Суждения, представимые на малой диаграмме
1. Все y суть x.
2. Некоторые y суть не-x.
3. Ни один не-x не есть не-y.
4. Некоторые x суть не-y.
5. Некоторые не-y суть x.
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. Некоторые голодные крокодилы настроены дружественно, и некоторые неголодные крокодилы не настроены дружественно.