Выражение силлогистики средствами логики предикатов

В исчислении предикатов термины силлогизма рассматриваются как одноместные предикаты, слова «все» и «некоторые» выражаются с помощью кванторов общности V(x) и существования э(х).

Е

A Vx(g(x) —> м(х))

" \(s(\) >Р(\))

х)^м(х);

Отношение между терминами гра-фически изображается так:

Отношение «быть присущим» выражается с помощью логических постоянных: —> - импликации и л - конъюнкции. Отсюда модус ЕАЕ первой фигуры можно выразить следующий формулой:

.