Гл.4 Упр.6

Гл.4 Упр.3

Ответы

1) Неосмысленная запись: ни терм, ни формула. Раз нет предикатных знаков, значит это либо терм, либо неправильная (неосмысленная) запись. Две переменные, записанные подряд не являются осмысленной записью.

2) Неосмысленная запись: ни терм, ни формула. Раз нет предикатных знаков, значит это либо терм, либо неправильная (неосмысленная) запись. Две переменные, записанные через запятую и взятые в скобки, не являются термом.

3) Неосмысленная запись: ни терм, ни формула. Раз в состав записи входит предикатный символ, то она является либо формулой, либо неправильно построена. Ошибка в данной записи: два терма
(x и y) соединены пропозициональной связкой &, которая может связывать, согласно определениям терма и формулы, только формулы.

4) Неосмысленная запись: ни терм, ни формула. Ошибка: нельзя отрицать термы (индивидная константа а – терм).

5) Терм.

6) Формула. Ее нагруженное дерево:

Гл.4 Упр.5(г)

Область действия квантора "x (подчеркнута):

"x (P(x,y₁)º$yQ(y,x)) & "z(R(x,y)ºR₁(y, x))

Область действия квантора $у (подчеркнута):

"x(P(x,y₁)º$y Q(y,x))&"z(R(x,y)ºR₁(y, x))

Область действия квантора "z (подчеркнута):

"x(P(x,y₁)º$yQ(y,x))&"z(R(x,y)ºR₁(y, x))

Свободные вхождения выделены жирным шрифтом и подчеркнуты, остальные вхождения переменных – связанные.

д."x(P(x, y)ºQ(y,x))&"z(R(x, y)ºR₁(y, x))

е. $x(P(x)ºQ(y))

ж. свободных вхождений переменных нет

Гл.4 Упр.7(j) Не предложение, формула содержит свободные вхождения переменных (они подчеркнуты):

$z"x(R²(x,z)ºQ²(x,x))ÉØQ³(x,z,z)

Дата добавления: 2014-12-27