Добавил:
Upload Опубликованный материал нарушает ваши авторские права? Сообщите нам.
Вуз: Предмет: Файл:
контрол заоч маn лог 14-15.docx
Скачиваний:
13
Добавлен:
02.03.2016
Размер:
147.59 Кб
Скачать

«Логика предикатов»

  1. Установить, является ли данное выражение формулой,

а если да, то определить, какие переменные в ней свободные, а какие связанные.

Вариант

xy(A(x))&B(y,z)).

xy(A(x,y) C(z) &B(y,z))).

xy(A(x) B(y,z)).

xy(A(x)&B(y))C(y,z)).

xy(A(x,y)&B(y,z))).

xy(A(x))&B(y)).

xy(A(x)) B(y, z)).

xy(A(x)B(y,z))).

xy(A(x,y))B(y,z)).

x(y(A(x)&B(y,z)).

(xz(A(x,y)B(y,z)).

x(A(x)  C(x))  x(A(x) B(x, y)).

A(x) &xB(x).

(A(x)B(x)(y(yD(y)).

xz(A(x,y)A(y,z)).

xyA(x,y).

xyA(x,y).

xA(x)yB(x,y).

xyA(x,y) &B(y,z).

xA(x,y) B(y,z).

  1. Даны предикаты: А(x) иB(x). Записать словами предложенные формулы С иD.

Вариант

А(x) = "x– торговец подержанными автомобилями";B(x) = "x– нечестный человек".

Записать словами: C=x(A(x) B(x));D= x(B(x) & A(x)).

А(x) = "x– торговец наркотиками";B(x) = "x– наркоман". Записать словами: C=x(A(x) B(x));D=x(A(x)&B(x)).

А(x) = "x– рациональное число";B(x) = "x– действительное число". Записать словами:

C = x(B(x) & A(x)); D = x(A(x)  B(x)).

А(x) = "x– политик";B(x) = "x– мошенник".

C = x(A(x) B(x))); D = x(A(x)&B(x)).

А(x) = "x– рыба";B(x) = "x– водное животное".

С = x(B(x) & A(x)); D = x(A(x) B(x)).

А(x) = "x– четное число";B(x) = "xделится на 6". Записать словами:

C=x(B(x)A(x));D=x((A(x)&B(x))).

А(x) = "x– металл";B(x) = "x– теплопроводен". Записать словами:

C = x(B(x) & A(x)); D = x(A(x)  B(x)).

А(x) = "x– простое число";B(x) = "xчетное число". Записать словами:

C=x(B(x)A(x));D=x((A(x)&B(x))).

А(x) = "x– студент";B(x) = "x– сдал экзамены". Записать словами:

C= x(B(x) & A(x));D=x(A(x) B(x)).

А(x) = "x- деятельность";B(x) = "xдает счастье". Записать словами:

C=x(B(x)A(x));D=x((A(x)&B(x))).

А(x) = "x– ученый";B(x) = "x– мыслит формулами". Записать словами:

C=x(A(x)B(x));D= x(B(x) & A(x)).

А(x) = "x– планета";B(x) = "xсветит собственным светом". Записать словами:

C=x(A(x) B(x));D=x(A(x)&B(x)).

А(x) = "x– педагог";B(x) = "x– учитель". Записать словами:

C = x(B(x) & A(x)); D = x(B(x)  A(x)).

А(x) = "x– морское животное";B(x) = "xдышит жабрами".

C = (x(A(x)  B(x))); D = x(A(x)& B(x)).

А(x) = "x– гриб";B(x) = "xсъедобен".

С = x(A(x) & B(x)); D = x(A(x)  B(x)).

А(x) = "x– существительное";B(x) = "xобозначает предмет". Записать словами:

C=x(B(x)A(x));D=x((A(x)&B(x))).

А(x) = "x– суждение";B(x) = "xвыражается предложением". Записать словами:

C=x(A(x)B(x));D=x((A(x)&B(x))).

А(x) = "x– наука";B(x) = "xгуманитарная". Записать словами:

C=x(A(x)B(x));D=x((A(x)&B(x))).

А(x) = "x– газ";B(x) = "xбесцветный". Записать словами:

C=x(A(x)B(x));D=x((A(x)&B(x))).

А(x) = "x– пассажир";B(x) = "xплатит за проезд". Записать словами:

C=x(A(x)B(x));D=x((A(x)&B(x))).

  1. Найти приведенную и нормальную формы для данной формулы

Вариант

xy(A(x) B(y,z))).

"x(A(x)$y(B(y)))

"x(A(x) "y(C(y) A(x)))

"x(A(x)$y(C(y)))

"x(A(x)$y(B(y))

"x(A(x)$y(B(y)))

"x(A(x)$yB(y))

"x(A(x)$yB(y)).

"x(A(x) "z(A(x)&B(y) C(z))

xy(A(x,y)B(y))).

"x(A(x)B(y))&"z(C(z)).

$xA(x)"yB(y).

"xA(x)$yB(y).

"x(A(x)$y(B(y)A(x))).

"x(A(x) B(y)) $y(B(y) A(x))

"x(B(x) $y(A(y)&A(x

"x(B(x)$y(A(x)C(y))).

"x(A(x)B(x))"yC(y).

"x(B(x)"y(A(y)&(B(x))).

"x(B(x)$y(A(y)B(x))).

Тут вы можете оставить комментарий к выбранному абзацу или сообщить об ошибке.

Оставленные комментарии видны всем.