раздел логических теорий, в котором изучаютсяобщезначимые связи между высказываниями о свойствах и отношенияхпредметов; в основе логики предикатов лежит формализованный язык,отображающий субъективно-предикатную структуру высказываний. См. такжеИсчисление предикатов.






Ссылка на выделенный текст