- ИСЧИСЛЕНИЕ ПРЕДИКАТОВ
-
раздел математич. логики, совокупность логико-математич. исчислений, формализующих те разделы совр. логики, в которых отображаются и изучаются (в связи с рассмотрением субъектно-предикатной структуры предложений) правила оперирования с кванторами.см. Логика предикатов.
Философский энциклопедический словарь. — М.: Советская энциклопедия. Гл. редакция: Л. Ф. Ильичёв, П. Н. Федосеев, С. М. Ковалёв, В. Г. Панов. 1983.
- ИСЧИСЛЕ́НИЕ ПРЕДИКА́ТОВ
-
раздел символич. логики, в к-ром изучаются логич. операторы всеобщности и существования в связи с рассмотрением субъектно-предикатной структуры суждений; составляет гл. содержание совр. формальной логики. См. Предикатов исчисление.
Философская Энциклопедия. В 5-х т. — М.: Советская энциклопедия. Под редакцией Ф. В. Константинова. 1960—1970.
- ИСЧИСЛЕНИЕ ПРЕДИКАТОВ
-
ИСЧИСЛЕНИЕ ПРЕДИКАТОВ . см. Логика предикатов
Новая философская энциклопедия: В 4 тт. М.: Мысль. Под редакцией В. С. Стёпина. 2001.
.