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

Вариант

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)).

(xz(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)).

xz(A(x, y) A(y, z)).

xyA(x, y).

xyA(x, y).

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

xyA(x, y) & B(y, z).

xA(x, y)  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(A(x, y)  yB(x, y)).

xA(x, y)  B(x, y).

x(A(x, y) zA(y, z)).

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

xy(A(x, y)  B(y, z)).

"x(B(x)"yA(y)).

"x(A(x) $y(B(y) A(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(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))).

А(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 беспозвоночное". Записать словами:

С = 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(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(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))).

Вариант

Не всякое действительное число является рациональным.

Каждый студент выполнил хотя бы одну лабораторную работу.

Ни одно четное число, большее 2, не является простым.

Выгул собак или кошек запрещен.

Произведение любых двух простых чисел не является простым числом

Всякое положительное число больше всякого отрицательного числа.

Каждый, купивший билет, получит премию

Всякое положительное число больше всякого отрицательного числа.

Всякий равносторонний треугольник является равнобедренным.

Некоторые студенты сдали все зачеты.

Все депутаты голосовали за этот законопроект

Все рыбы живут в воде.

Некоторые абитуриенты поступили в институт.

Студент ответил на некоторые вопросы.

Автобус останавливается на всех остановках.

Некоторые зрители не любят некоторых артистов

В этой местности иногда бывает снег

Не все металлы твердые.

Некоторые студенты получают стипендию.

Некоторые книги полезны.

Существуют непрерывные функции, которые не являются дифференцируемыми.

Некоторые пассажиры не платят за проезд

Не все полезное приятно.

Не всякий газ бесцветен.

Все люди хорошие.

Некоторые студенты досрочно сдали экзамены.

Не все государства подписали это соглашение.

Некоторые автобусы не останавливаются на этой остановке.

Не все спортсмены участвовали в соревновании.

Он ничего не знает

Вариант

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)).

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

"xA(x) $yB(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))).

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

xA(x) yB(y, z).

"x(B(x)"yA(y)).

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

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

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

x(A (x)  $yB(x, y))

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

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

x(A(x, y) zA(y, z)).