Исчисление предикатов
Определение "Исчисление предикатов" в Большой Советской Энциклопедии
Исчисление предикатов, раздел математической логики — совокупность логико-математических исчислений, формализующих те разделы современной логики, в которых отображаются и изучаются (в связи с рассмотрением субъектно-предикатной структуры предложений) правила оперирования с кванторами. См. Высказывание, Логика предикатов.
Статья про "Исчисление предикатов" в Большой Советской Энциклопедии была прочитана 619 раз
|