Элементы исчисления предикатов
24 |
др. Пусть также имеется набор функциональных символов (функций) с различным числом аргументных мест. Такими функциональными символами могут быть символы, описывающие математические функции; химические, экономические или финансовые формулы (правила), заготовки для слов, строк, таблиц, изображений, диаграмм, блок-схем с различным числом свободных (аргументных) мест и т.п. Из предметных переменных и функциональных символов можно конструировать так называемые термы, интерпретируемые как имена объектов исследования (математические выражения, слова и тексты, химические или ядерные реакции, изображения, блок-схемы и др.). Тогда п-местным (п-арным) предикатом называется функция Р(?1, 12,...,tn ), которая представляет собой некоторое высказывание о термах ^,12,...,tn (п > 0) и может принимать лишь значения «истина» или «ложь» в зависимости от индивидуальных предметов X}, Х2,... из М, входящих в эти термы. При п = 1 предикат называют свойством, а при п > 1 - отношением или, конкретнее, п-арным отношением. Изучаемые в исчислении высказываний отдельные высказывания могут формально рассматриваться как нульместные предикаты. Таким образом, аргументами функций исчисления высказываний являются лишь высказывания, тогда как аргументами предикатов могут быть любые предметные переменные. При этом число мест, т.е. число термов в предикате, вообще говоря, отличается от числа аргументов. Пусть, например,- буквы русского алфавита,а- действительные числа. Образуем термы (слово из четырех букв с одинаковыми первой и третьей буквами):Тогда высказывание «- имя собственное» - одноместный предикат (свойство) с тремя аргументами (), а высказывание «» - двуместный предикат (отношение), зависящий от четырех аргументовДля простейших математических отношений «меньше», «меньше или равно», «равно», «не равно», «больше или равно», «больше» в алгоритмических языках программирования имеются соответствующие символы или зарезервированные слова. |
25 |
Отдельные предикаты - элементарные формулы исчисления предикатов. Связывая предикаты логическими связками, можно получать сложные формулы исчисления предикатов, например
которые можно также рассматривать как новые предикаты. В этих формулах могут использоваться и высказывания алгебры логики (нульместные предикаты). Помимо операций алгебры высказываний, в исчислении предикатов используются так называемые кванторы - логические операторы, переводящие одну высказывательную форму в другую и позволяющие указывать объем тех значений предметных переменных х, для которых данная высказывательная форма истинна. Обычно в логике предикатов ограничиваются двумя кванторами - квантором общности Ух и квантором существования Зх. Пусть х - предметная переменная, принимающая значения из множества (поля) М. Тогда выражение(1.9) начинающееся квантором общности, представляет собой высказывание: «для всякогоистинно. Поскольку задание лю бых индивидуальных предметов (значений) х е М не нарушает истинность Р(х), высказывание (1.9) уже не зависит от х. Говорят, что предметная переменная х связана квантором общности, и поэтому такие переменные называют связанными. Выражение (1.10) начинающееся квантором существования, понимается как высказывание: «существует такой элемент х е М , для которого Q(x) истинно». Это высказывание также вполне определено и уже не зависит от х, т.е. переменная х связана квантором существования и является связанной переменной. Кванторы общностии существования Зх называются двойственными друг другу. В формулы (1.9), (1.10), кроме х, могут входить и другие предметные переменные (не показанные в формулах). Поскольку эти формулы не зависят от х, они полностью определяются заданием остальных переменных. Такие предметные пе- |
26 |