Логика. Панькова Н.М. - 76 стр.

UptoLike

ВУЗ: 

ТПУ | Томск

Составители: 

Рубрика: 

3. Отрицание наличия свойства у отдельных предметов
переводится
на ЯЛП посредством формул вида П1 (t).
Например, Отец Ромео не является юношей - Р (f (a)).
4. Наличие отношения между двумя предметами записывается в
виде
формул вида П2 (t1,t2). Например, выражение
Ромео любит Джульетту - R (a, b),
Джульетта любит своего отца - R (b, f (b))
5. Высказывание о наличии отношения между n предметами
записывается в виде формулы Пn (t1, t2, … tn), где Пn – n-местная
предикаторная константа, которая соответствует предикатору n-местного
отношения.
Джульетта любит Ромео больше, чем своего отца – R1 (b, a, f(b)), где
R1 – трехместная предметная константа, которая соответствует
трехместному отношению любит больше, чем.
6. Запись высказывания, содержащего кванторы, в ЯЛП происходит с
помощью формул вида ∃а А (а), где а – предметная переменная.
Кто-то является храбрым - ∃x Q (x),
Кто-то любит Джульетту - ∃x R (x, b),
Джульетта любит кого-то - ∃x R (b, x),
Кто-то не любит самого себя - ∃x R (x, x)
7. Простые высказывания могут содержать несколько кванторов:
Каждый любит кого-нибудь - ∀x ∃y R (x, y),
Кто-то кого-то не любит - ∃x ∃y R (x, y)
Контрольные вопросы
1. Имена. Их виды.
2. Функторы. Их роль в языке.
3. Что такое предикаторы?
4. Из чего состоит язык логики предикатов?
Практические задания
Переведите на язык логики предикатов:
1. Все являются храбрыми.
2. Всякий любит Джульетту.
3. Никто не любит отца Ромео.
4. Отец Ромео не любит никого.
5. Кто-то любит Ромео больше, чем кого-либо.
6. Некоторый юноша любит Джульетту.
76

Страницы