Контрольная работа: Логика высказываний

Студент

гр. ВМз-01-08, факультет УиИТ

____________________ М.О.Белозерова

«__»___________2009

Преподаватель

Возможно вы искали - Учебное пособие: Методические указания и контрольные задания для студентов-заочников

___________________ С.А. Рудаков

к.п.н. «__»___________2009

Челябинск

2009

1. Задание по логике высказываний

Ниже приведены по три клаузы в одном варианте. Каждую клаузу необходимо доказать следующими методами: резолюций и с помощью таблиц истинности.

a. А, В v С => А & В; С

Похожий материал - Курсовая работа: Методология изучения темы Признаки равенства треугольников

b. B vС, (А -> В) -> (С -> А) => А

c. А -> (В v С), В -> (D -> А), С -> (В -> А), А -> (В -> С), D - > (Av В),

D -> (А -> В), С -> (В vD), Av С vD, С -> (А -> В) => А & В & С; А & В & D

Докажем с помощью метода резолюций истинность следующей клаузы:

a. А, В v С => А & В; С

Очень интересно - Учебное пособие: Методы коллокаций и Галеркина

Доказательство ее справедливости следует начать с приведения ее в нормальную конъюнктивную форму.

A, В v C, -B v -C, -A => 0

P1 P2 P3 P4

Справа от каждого нового дизъюнкта будем писать номера используемых дизъюнктов, получим:

Докажем с помощью метода резолюций истинность следующей клаузы:

Вам будет интересно - Контрольная работа: Методы нахождения корней полиномов

Bv С, (А -> В) -> (С -> А) => А

Доказательство ее справедливости следует начать с приведения ее в нормальную конъюнктивную форму.

В v С, A v -B v -C, -A => 0

P1 P2 P3

Справа от каждого нового дизъюнкта будем писать номера используемых дизъюнктов, получим:

Похожий материал - Контрольная работа: Методы оптимизации при решении уравнений

Докажем с помощью метода резолюций истинность следующей клаузы:

c. А -> (В v С), В -> (D -> А), С -> (В -> А), А -> (В -> С), D - > (Av В),

D -> (А -> В), С -> (В vD), Av С vD, С -> (А -> В) => А & В & С;

А & В & D