«Логика предикатов»
Установить, является ли данное выражение формулой,
а если да, то определить, какие переменные в ней свободные, а какие связанные.
Вариант |
|
|
xy(A(x))&B(y,z)). |
|
xy(A(x,y) C(z) &B(y,z))). |
|
xy(A(x) B(y,z)). |
|
xy(A(x)&B(y))C(y,z)). |
|
xy(A(x,y)&B(y,z))). |
|
xy(A(x))&B(y)). |
|
xy(A(x)) B(y, z)). |
|
xy(A(x)B(y,z))). |
|
xy(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). |
|
xyA(x,y). |
|
xA(x)yB(x,y). |
|
xyA(x,y) &B(y,z). |
|
xA(x,y) B(y,z). |
Даны предикаты: А(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))).
|
Найти приведенную и нормальную формы для данной формулы
Вариант |
|
|
xy(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)) |
|
xy(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))). |