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

@Ольга150883 · Регистрация: 10.01.2010

Студворк — интернет-сервис помощи студентам

a. С -> A, B v C, B -> D, D -> A => A
b. D -> E, E -> C, A ~ D, B ~ C => A -> B
c. A v B, A -> B, B -> (C -> (-D)), A -> D => -(A & C)

Каждую клаузу необходимо доказать следующими методами: аксиоматическим, натурального исчисления, резолюций, и Вонга.

Подскажите, как это делается, кто знает?!!! Зараннее благодарю!!!

__PION__ · 17.02.2011, 20:24

вот здесь кажется есть то что ишешь
http://www.twirpx.com/file/1575
тока там нужна регистрация чтоб скачивать файлы

@Ольга150883 0 / 0 / 0 Регистрация: 10.01.2010 Сообщений: 38
		1
	Задание по логике высказываний 17.02.2011, 19:28. Показов 2017. Ответов 1 Метки нет (Все метки) a. С -> A, B v C, B -> D, D -> A => A b. D -> E, E -> C, A ~ D, B ~ C => A -> B c. A v B, A -> B, B -> (C -> (-D)), A -> D => -(A & C) Каждую клаузу необходимо доказать следующими методами: аксиоматическим, натурального исчисления, резолюций, и Вонга. Подскажите, как это делается, кто знает?!!! Зараннее благодарю!!! 0

__PION__ 960 / 801 / 85 Регистрация: 21.07.2010 Сообщений: 3,522
	17.02.2011, 20:24	2
	вот здесь кажется есть то что ишешь http://www.twirpx.com/file/1575 тока там нужна регистрация чтоб скачивать файлы 1

Опции темы