Логика первого порядка как формальная модель рассуждений

Являясь формализованым аналогом обычной логики, логика первого порядка дает возможность строго рассуждать об истинности и ложности утверждений и об их взаимосвязи, в частности, о логическом следовании одного утверждения из другого, или, например, об их эквивалентности. Рассмотрим классический примерформализации утверждений естественного языка в логике первого порядка.

Возьмем рассуждение «Каждый человек смертен. Конфуций — человек. Следовательно, Конфуций смертен». Обозначим «x есть человек» через ЧЕЛОВЕК (x) и «x смертен» через СМЕРТЕН (x). Тогда утверждение «каждый человек смертен» может быть представлено формулой: x(ЧЕЛОВЕК (x) → СМЕРТЕН (x)) утверждение «Конфуций — человек» формулой ЧЕЛОВЕК (Конфуций), и «Конфуций смертен» формулой СМЕРТЕН (Конфуций). Утверждение в целом теперь может быть записано формулой

( x(ЧЕЛОВЕК (x) → СМЕРТЕН (x)) ЧЕЛОВЕК (Конфуций)) → СМЕРТЕН (Конфуций)