Russian ⇄ Chinese English French German Italian Japanese Polish Russian Ukrainian

логика предикатов stresses
math.	logica dei predicati; logica predicativa
Russian thesaurus
логика предикатов
gen.	раздел логических теорий, в котором изучаются общезначимые связи между высказываниями о свойствах и отношениях предметов; в основе логики предикатов лежит формализованный язык, отображающий субъективно-предикатную структуру высказываний. См. также Исчисление предикатов. Большой Энциклопедический словарь