Контрольная Логика вариант 11, номер: 56121

"Вариант №11
1. Раздел «Логика высказываний»

Задание 1. Установить, является ли данная формула тождественно-истинной.
(P  Q)  ((Q  R)  (P  R)).
Задание 2. Данное высказывание записать в виде формулы логики высказываний. Построить отрицание данного высказывания в виде формулы, не содержащей внешних знаков отрицания. Перевести на естественный язык.
Если число оканчивается нулем, оно делится на 5.
Задание 3. Установить, является ли данное рассуждение правильным, (проверить, следует ли заключение из конъюнкции посылок).
Если завтра будет холодно, то я надену теплую куртку, если рукав будет починен. Завтра будет холодно, и рукав не будет починен. Значит, я не надену теплую куртку.
2. Раздел «Логика предикатов»

Задание 1. Установить, является ли данное выражение формулой, а если да, то определить, какие переменные в ней свободные, а какие связанные.
(xz(A(x, y)  B(y, z)))
Задание 3. Данное суждение записать в виде формулы логики предикатов. Построить отрицание данного суждения в виде формулы, не содержащей внешних знаков отрицания. Перевести на естественный язык.
Все депутаты голосовали за этот законопроект.
3. Раздел «Формальные аксиоматические теории (исчисления)»

Задание 1. Установить правильность рассуждения, построив вывод исчисления высказываний.
Если слово ставится в начале предложения, то оно пишется с большой буквы. Это слово написано с маленькой буквы. Следовательно, это слово не стоит в начале предложения.
Задание 2. Установить правильность рассуждения, построив вывод исчисления предикатов.
Все дельфины – киты. Ни один кит не является рыбой. Следовательно, все дельфины – не рыбы.
Задание 3. Проверить вывод методом резолюций.
B  (C  A), B D, D  C  C.
4. Раздел «Нечеткая логика»

Задание
Определить степень равносильности формул. и при условии, что и принимают значения степеней истинности из множества {0,2; 0,3}.
№


11 &
 

5. Раздел «Теория алгоритмов»

Составить программу машины Тьюринга, которая заданное слово Pвх преобразует в слово Pвых.

№ Pвх Pвых

11

011

1011

"