Философская энциклопедия - исчисление предикатов

ИСЧИСЛЕНИЕ ПРЕДИКАТОВ

раздел математич. логики, совокупность логико-математич. исчислений, формализующих те разделы совр. логики, в которых отображаются и изучаются (в связи с рассмотрением субъектно-предикатной структуры предложений) правила оперирования с кванторами.

см. Логика предикатов.

Философский энциклопедический словарь. — М.: Советская энциклопедия. Гл. редакция: Л. Ф. Ильичёв, П. Н. Федосеев, С. М. Ковалёв, В. Г. Панов. 1983.