Значение ИСЧИСЛЕНИЕ ПРЕДИКАТОВ в Большой советской энциклопедии, БСЭ

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

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

Большая советская энциклопедия, БСЭ.