[Логика Предикатов]
или: Функциональная логика, теория квантификации, кванторная логика, а- основнной раздел современной (математической, символической) логики, в котором описываются выводы, учитывающие внутреннюю (субъектно-предикатную) структуру высказываний. Л. п. является расшинренным вариантом логики высказываний. В Л. п. Ч в дополнение к средствам логики высказываний -вводятся логические операторы" (лдля всех