ЛОГИКА ПРЕДИКАТОВ, или Функциональная логика, теория квантификации, кванторная логика

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