Большой Энциклопедический словарь (БЭС)
А Б В Г Д Е Ё Ж З И Й К [Л] М Н О П Р С Т У Ф Х Ц Ч Ш Щ Ъ Ы Ь Э Ю Я
ЛОГИКА ПРЕДИКАТОВ
ЛОГИКА ПРЕДИКАТОВ, раздел логических теорий, в котором изучаются общезначимые связи между высказываниями о свойствах и отношениях предметов; в основе логики предикатов лежит формализованный язык, отображающий субъективно-предикатную структуру высказываний. См. также Исчисление предикатов.
Вы можете поставить ссылку на это слово:

будет выглядеть так: ЛОГИКА ПРЕДИКАТОВ


будет выглядеть так: Что такое ЛОГИКА ПРЕДИКАТОВ