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

  • ID: 25740 
  • 4 страницы

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

ВАРИАНТ 6

Задание 1

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

Решение:

1) Заданное высказывание будет выводимым, если конъюнкция входящих в него формул будет тавтологией:

A B

Задание 2

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

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

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

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

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

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

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

Решение:

Задание 3

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

Решение: