6. Какие из следующих формул являются предложениями яклп?

1. P¹(x)

2. P¹(a)

3. xP¹(x)

4. Q²(c,y)

5. Q³(a₂,a₂,c)

6. x(P¹(x)& Q²(c,y))

7. y(P¹(y)& Q²(c,y)) (yR¹(y)& Q²(c,y))

8. xx₄y((R(x₄)& R(x)& R(y))Q³(x,y,x₄))

9. xx₄y(R(x₄)& R(x)& R(y))Q³(x,y,x₄)

10. j.⁺ zx(R²(x,z)Q²(x,x))Q³(x,z,z)

Договоренность Пусть 1, 2,…,n – какие-то предметные переменные (х, х1, у, у2, у1 и т.п.) и А – какая-то формула. Вместо 12…n А будем писать 1, 2,…, n А. Вместо 12…n А будем писать 1, 2,…, n А. Например, вместо xx4y (Р(x,y)  S(х4,у)  Q(х,х4)) будем писать x,x4,y(Р(x,y)  S(х4,у)  Q(х,х4)).

Тема 2: От выражений естественного языка к их структуре: перевод выражений естественного языка на яклп

Перевод выражений естественного языка на ЯКЛП:

минимальные требования к правильному переводу

одноместному предикату (естественного языка или какой-либо формальной теории) в ЯКЛП1= соответствует формула с одной свободной переменной; двухместному – формула с двумя свободными переменными и т.д.

Примеры

Выражение быть лично знакомым (с кем-либо) - двухместный предикат: кто? знаком с кем? – нужно уточнить две позиции, чтобы получить предложение по этому выражению. Чтобы отобразить структуру этого выражения в нашем формальном языке, нужно к двухместному предикатному символу присоединить две различные предметные переменные. Например, так: P(x,y), Q(x,z), R(x,y), R(x,y). (Если в скобках после предикатного символа ввести одну и ту же переменную – P(x,х) – тогда был бы задан предикат быть лично знакомым с самим собой.)

Выражение быть лично знакомым с английской королевой Елизаветой II - одноместный предикат: кто? знаком с английской королевой Елизаветой II – нужно заполнить одну позицию, чтобы получить предложение по этому выражению. Чтобы отобразить структурную информацию этого предиката в ЯКЛП¹, нужно ввести одноместный предикат. Сопоставляя этому выражению формулу, можно символизировать все выражение быть лично знакомым с английской королевой Елизаветой II (P¹, Q¹, R¹), а можно указать, что само это выражение составлено из двухместного предиката и логического имени. Второй вариант, разумеется, точнее отразит структуру выражения. Первому варианту соответствуют, например, формулы P(x), Q(z), R(x); второму - R(x,а), R(у,а).

Выражение знать (кого-то) лучше, чем (кого-то) - трехместный предикат: кто знает кого, лучше, чем кого. В ЯКЛП¹⁼ структурой этого выражения будут, например, такие формулы P(x,y,z), Q (x₁,y,z), P(z,z₁,x), R(y₁,y₃,y₂).

Выражение знать (кого-то) лучше, чем английскую королеву Елизавету II - двухместный предикат: кто? знает кого? лучше, чем королеву Елизавету. Ему в ЯКЛП¹ можно сопоставить формулы P(x,y,а), Q (у₁,y,а), P(z,z₁,с) и т.д.

Для того, чтобы правильно отобразить структуру логических имен и предложений естественного языка средствами языка первопорядковой логики предикатов необходимо, (хотя и недостаточно), чтобы были выполнены следующие условия:

структура логического имени есть замкнутый терм (без переменных); структура предложения естественного языка есть замкнутая (без свободных переменных) формула

Если эти условия не соблюдены, вы неправильно отобразили структуру выражения естественного языка. Если же соблюдены, то это еще не означает, что логическая форма выражений найдена правильно. Нужно, чтобы полученный терм или формула в точности воспроизводили структурную информацию рассматриваемого выражения.

Необходимо соблюдать следующие правила (список не полон):

• В правильно построенной формуле (и ЯЛВ, и ЯЛП) число левых (открывающихся) скобок всегда равно числу правых (закрывающихся) скобок.

• После квантора должна сразу идти переменная: ∃х, ∃у, ∀z и т.д. Таким образом, нельзя, например, сразу после знака квантора ставить индивидную константу: ∃а, ∀с и т.д.; также в первопорядковой логике предикатов (которую вы и изучаете) нельзя сразу после знака квантора ставить предикаторный знак: ∃Р, ∀Q и т.д.

• При переводе предложений естественного языка на ЯЛП результирующая формула должна оказаться замкнутой (т.е. не содержать свободных вхождений переменных).

NB! Понимание квантора существования в логике предикатов Обычно, говоря, существует, некоторые имеют ввиду только некоторые. Например, предложение Некоторые россияне играют в гольф предполагает все-таки, что только некоторые россияне такие. В логике предикатов некоторые, существует означает как минимум один, по меньшей мере один. Информация только некоторые, лишь некоторые выражается с помощью имеющихся логических связок.