Словарь по логике

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

1. Раздел логики, изучающий различные предикатные теории. Обычно в них подразумевается также наличие кванторов, в силу чего они обычно отождествляются с теориями квантификации.

2. То или иное логическое учение, описывающее внутреннюю структуру высказываний с использованием абстракции предиката. Обычно также подразумевается наличие кванторов, в силу чего они обычно отождествляются с теориями квантификации.