| Символ суждения | Тип суждения (по качеству и количеству) | Субъект S | Предикат P | Схема отношений между субъектом и предикатом |
А
| Все S есть P общеутвердительное | Распределен | Не распре- делен или распределен |
  Р
S S=P
или
|
  E
| Ни одно S не есть Р общеотрицательное | Распределен | Распределен | S P |
| I | Некоторые S есть Р частноутвердительное | Не распре- делен | Не распреде- лен или распределен |
  
S P S P
|
O
| Некоторые S не есть Р частноотрицательное | Не распределен | Распределен |   
S P S P
|
Схема 10. Логический квадрат
SaP SeP Отношение совместимости:
|
|
1. Отношение подчинение имеет место между суждениями SiP и SaP, а также SoP и SeP. Эти суждения имеют одинаковые термины и качество, а отличаются лишь по количеству. Логическая зависимость: а) из истинности общих суждений (А и Е) следует истинность частных (I и О); б) из ложности частных (I и О) следует ложность общих суждений (А и Е).
2.Отношение субконтрарности (или подпропротивоположности) присуще частным суждениям, которые имеют одинаковые термины и различное качество (SiP и SoP).
Логическая зависимость: не могут быть одновременно ложными, но могут быть одновременно истинными.
Отношение несовместимости:
1. Отношение контрарности (или противоположности) имеет место между общими суждениями, у которых одинаковые термины и разное качество (SaP и SiP). Логическая зависимость: одновременно не могут быть истинными, но могут быть одновременно ложными.
2. Отношение контрадикторности (или противоречия) имеет место между суждениями, имеющими одинаковые термины и различающиеся по качеству и количеству (SaP и SoP; SeP и SoP). Логическая зависимость: при истинности одного - другое ложно; при ложности одного - другое истинно.
Схема 11. Структура простого категорического силлогизма
М ----- Р - большая посылка
S ------ М - меньшая посылка
S ------ P - заключение (или вывод)
S - меньший термин (или субъект) силлогизма
Р - больший термин (или предикат) силлогизма
М - средний термин силлогизма
Простой категорический силлогизм - демонстративная связь трех простых суждений (или трех терминов)
Аксиома силлогизма:
Все, что утверждается (или отрицается) относительно всего класса предметов, утверждается (или отрицается) относительно любой части этого класса и относительно любого отдельного предмета этого класса.
