Исчисление предикатов. Основные понятия.

В то время, как исчисление высказываний проявляет интерес только к внешним связям простых повествовательных предложений, исчисление предикатов проникает внутрь предложения, исследуя связи между его составными частями. Основной частью любого высказывания является понятие, как форма отражения реальной действительности предмета, факта, явления, события или процесса в наиболее существенных признаках. При этом формой существования понятия в естественном языке является слово или группа слов, раскрывающая признаки предмета или признаки отношений между предметами. Множество существенных признаков предмета, факта, явления, события или процесса называют содержанием понятия. Множество предметов, фактов, явлений, событий или процессов, описываемых одним понятием, называют объёмом понятия. Содержание понятия обратно пропорционально объёму понятия. Логическую функцию, которая позволяет раскрыть признаки предмета, факта, явления, события или процесса или признаки отношений между ними называют предикатом (лат. predicatum – логическое сказуемое). Для обозначения предиката используют символ P. Если логическая функция содержит один аргумент, то говорят, что область определения предиката задана объёмом одного понятия. Если логическая функция содержит n аргументов, то говорят, что область предиката задана объёмами n понятий. Область определения принято обозначать символом M. Аргументы логической функции называют предметными переменными и обозначают латинскими буквами x, y, … . Если предметной переменной придать значение конкретного предмета, факт, явления, события или процесса, то её называют предметной постоянной. Предметные постоянные обозначают строчными буквами латинского алфавита a, b, c, … . Предикат с n аргументами называют n-местными. Одноместный предикат, как правило, определяет атрибутивное суждение о наличии или отсутствии отношений между предметами. Область определения предиката чаще всего обозначают так Pn или Pn(x), подчёркивая число аргументов n. При замещении предметных переменных именами конкретных предметов, фактов, явлений, событий или процессов логическая функция превращает предикат в высказывания, могущее принимать значение true или false. Между элементами области определения предиката могут быть заданы функциональные отношения, т. е. задана некоторая структура внутри области определения предиката при задании функционального отношения. Если в области определения предиката задана n-местная функция, то ей соответствует (n + 1)-местный предикат, сравнивающий запись и значение функции (“быть равным”, “быть эквивалентным”, “быть больше” и т. п.). Имена элементов области определения предиката (предметные переменные, предметные постоянные и элементы, заданные функциональными отношениями) получили название терм – t. Для указанных функциональных отношений используют функциональные символы f, а для обозначения числа аргументов этих отношений используют верхние индексы, т. е. fn(x). Предикат, аргументами которого являются термы получил название формулы F = Pn(t1; t2;… tn). Суждение, в котором утверждается или отрицается наличие каких-либо признаков у части предметных переменных предиката, называют частным суждением. Как правило, эти суждения на естественном языке отражают словами “некоторые”, “часть” и т. п. Для формализации этих суждений используют логическую операцию, ограничивающую область определения предиката. Оператор этой логической функции получил названия квантора существования. Этот оператор имеет обозначение x. Использование квантора существования связывает предметную переменную ограниченной областью определения предиката. Выражение предиката записывают после квантора существования в круглых скобках x(Pn(x)). На естественном языке эта формальная запись означает: “существуют такие элементы x, что Pn(x) истинно (или ложно). Суждение, в котором утверждается или отрицается наличие каких-либо признаков или отношений для всех предметов области определения предиката, называют общими суждениями. Как правило, эти суждения в естественном языке отмечают словами “все”, “каждый”, “любой” и т. п. Для формализации этих суждений используют логическую операцию, оценивающую всю область определения предиката. Оператор этой логической операции получил название квантора общности. Этот оператор обозначают так: x. Использование квантора общности связывает предметную переменную предиката и формирует сложное высказывание, принимающее значение true или false для конкретного значения xi = ai только в области действия квантора x. Выражение предиката записывают после квантора общности в круглых скобках x(Pn(x)). На естественном языке эта формальная запись означает: “для всех x истинно (или ложно) значение P(x)”. Квантор общности или существования с предикатом, аргументами которого являются термы, называют также формулой F, т. е. F = t(Pn(t)) или F = t(Pn(t)). Если предметная переменная x предиката P(x) находится в области действия квантора, то её называют связной переменной формулы, в противном случае – свободной переменной. Предметная переменная свободна в формуле, если по крайней мере одно её вхождение свободно, и связана, если по крайней мере одно её вхождение связано.