Составители:
Рубрика:
Множество истинности предиката P(x ,...,x
n1
) – это некоторое
подмножество декартова произведения A
×A ×...×A
n1 2
множеств, на
которых определены предметные переменные x
,...,x
n1
. Тем самым,
множество кортежей, принадлежащих множеству истинности
предиката, является n-арным отношением, и мы можем говорить о
предикате P(x
,...,x
n1
) отношения P, используя один и тот же символ
для обозначения предикатов и отношений.
В естественных языках используется инфиксная нотация
предикатов. Это означает, что предметные переменные в той или
иной степени рассредоточены по предложению, выражающему
предикат. В таблице 3.1 приведены примеры инфиксной и
префиксной нотации предикатов
Таблица 3.1
Инфиксная нотация Префиксная нотация
X вращается вокруг Y
вращается_вокруг (X,Y)
X является звездой
звезда(X)
X это планета
планета(X)
X является спутником Y
спутник(X,Y)
Логика высказываний и предикатов основана на
пропозициональных связках:
• И (конъюнкция),
• ИЛИ (дизъюнкция),
• ЕСЛИ-ТО (импликация),
• ЕСЛИ-И-ТОЛЬКО-ЕСЛИ (эквивалентность),
• НЕ (операции отрицания, инверсия).
С помощью этих связок из простых предложений, выражающих
высказывания или предикаты, строятся составные предложения.
Сводка определений этих связок приведена в таблице 3.2, в которой
X и Y это переменные высказывания или предикаты.
Таблица 3.2
121
Страницы
- « первая
- ‹ предыдущая
- …
- 35
- 36
- 37
- 38
- 39
- …
- следующая ›
- последняя »
