ЛОГИКА ПРЕДИКАТОВ

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

Источник: Большой энциклопедический словарь на Gufo.me

Значения в других словарях

  1. ЛОГИКА ПРЕДИКАТОВ — ЛОГИКА ПРЕДИКАТОВ – раздел современной логики символической [ЛОГИКА СИМВОЛИЧЕСКАЯ], изучающий рассуждения и другие языковые контексты с учетом внутренней структуры входящих в них простых высказываний, при этом выражения языка трактуются функционально... Новая философская энциклопедия
  2. Логика предикатов — Раздел математической логики (См. Логика), изучающий логические законы, общие для любой области объектов исследования (содержащей хоть один объект) с заданными на этих объектах предикатами (т. е. свойствами и отношениями). В результате формализации (См. Большая советская энциклопедия