Вариант 5. Проверить выводимость в исчислении высказываний методом Куайна, методом редукции и методом

  • ID: 25976 
  • 3 страницы

Фрагмент работы:

ВАРИАНТ 5

Задание №1

Проверить выводимость в исчислении высказываний методом Куайна, методом редукции и методом резолюций:

Решение:

Высказывание будет выводимо, если, где, Построим таблицу истинности:

высказывание невыводимо.

Задание №2

Пусть  - множество людей. На множестве  заданы следующие предикаты:

Е(х,у)=И х и у – один и тот же человек;

Р(х,у)=И х родитель у;

С(х,у)=И х и у – супруги;

М(х)=И х – мужчина;

W(х)=И х – женщина.

С использованием этих предикатов записать формулу, выражающую утверждение: Х – прадедушка.

Решение:

Задание №3

Построить машину Тьюринга для перевода из одной конфигурации в другую. На ленте всех машин Тьюринга записаны лишь нули и единицы, при этом пустые ячейки содержат нули. Проверить работу машины Тьюринга для конкретных значений x, y, z.

Решение: