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. Некоторые голодные крокодилы настроены дружественно, и некоторые неголодные крокодилы не настроены дружественно.