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

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

Часть текста скрыта. После покупки Вы получаете полную версию

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

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

ВАРИАНТ 5

ЗАДАНИЕ №1

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

РЕШЕНИЕ:

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

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

ЗАДАНИЕ №2

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

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

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

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

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

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

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

РЕШЕНИЕ:

ЗАДАНИЕ №3

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

РЕШЕНИЕ: