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





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