Значение слова ЛОГИКА в Большом российском энциклопедическом словаре
- ЛОГИКА
-
Л́ОГИКА ПРЕДИКАТОВ, раздел логич. теорий, в к-ром изучаются общезначимые связи между высказываниями о свойствах и отношениях предметов; в основе Л.п. лежит формализованный язык, отображающий субъективно-предикатную структуру высказываний. См. также Исчисление предикатов .
Большой российский энциклопедический словарь. 2012