Исчисление Предикатов

Исчисление Предикатов в Энциклопедическом словаре:
Исчисление Предикатов - раздел математической логики, логическоеисчисление, в алфавит знаков которого, помимо символов исчислениявысказываний, входят также символы вещей (индивидов), их свойств иотношений, а также выражений ''все'' и ''некоторые'' (кванторы), позволяющиеколичественно охарактеризовать связи вещей, свойств и отношений; служитаксиоматизацией логики предикатов.

Определение «Исчисление Предикатов» по БСЭ:
Исчисление предикатов - раздел математической логики - совокупность логико-математических исчислений, формализующих те разделы современной логики, в которых отображаются и изучаются (в связи с рассмотрением субъектно-предикатной структуры предложений) правила оперирования с Кванторами. См. Высказывание, Логика предикатов.

Исчисление Классов    Исчисление Предикатов    Исчислить