ИСЧИСЛЕНИЕ ПРЕДИКАТОВ
раздел матем. логики - совокупность логико-матем. исчислений,
формализующих те разделы совр. логики, в к-рых отображаются и изучаются
(в связи с рассмотрением субъектно-предикатной структуры предложений) правила
оперирования с кванторами.
См. Высказывание, Логика предикатов.
А Б В Г Д Е Ё Ж З И Й К Л М Н О П Р С Т У Ф Х Ц Ч Ш Щ Ъ Ы Ь Э Ю Я