Контрольная работа по предмету «Математическая логика и теория алгоритмов». Вариант №5.

ЗАДАНИЕ №1: ЛОГИКА ВЫСКАЗЫВАНИЙ.
Данное высказывание «Вариант 5. Этот актер играет в театре и не играет в кино» записать в виде формулы логики высказываний. Построить отрицание данного высказывания в виде формулы, не содержащей внешних знаков отрицания. Перевести на естественный язык.
ЗАДАНИЕ №2: ЛОГИКА ПРЕДИКАТОВ.
Данное суждение “Вариант 5. Некоторые зрители не любят некоторых артистов” записать в виде формулы логики предикатов. Построить отрицание данного суждения в виде формулы, не содержащей внешних знаков отрицания. Перевести на естественный язык.

ЗАДАНИЕ №3: ФОРМАЛЬНЫЕ АКСИОМАТИЧЕСКИЕ ТЕОРИИ (ИСЧИСЛЕНИЯ).
Установить правильность рассуждения “ Вариант 5. Если спутник Земли пролетает над Южным полюсом, то он пролетает над Антарктидой. Этот спутник не пролетает над Антарктидой. Следовательно, он не пролетает над Южным полюсом.”, построив вывод исчисления высказываний.

ЗАДАНИЕ №4: НЕЧЕТКАЯ ЛОГИКА.
Определить степень равносильности формул. и при условии, что и принимают значения степеней истинности из множества {0,2;0,3}.

№

5 
 

ЗАДАНИЕ №5: АЛГОРИТМЫ.
Составить программу машины Тьюринга, которая заданное слово Pвх преобразует в слово Pвых.

№ Pвх Pвых
5 110 1100