М ----- Р - большая посылка
S ------ М - меньшая посылка
S ------ P - заключение (или вывод)
S - меньший термин (или субъект) силлогизма
Р - больший термин (или предикат) силлогизма
М - средний термин силлогизма
Простой категорический силлогизм - демонстративная связь трех простых суждений (или трех терминов)
Аксиома силлогизма:
Все, что утверждается (или отрицается) относительно всего класса предметов, утверждается (или отрицается) относительно любой части этого класса и относительно любого отдельного предмета этого класса.