Алгебра логики. Доказать, что формула является теоремой ИВ

@Saval1986 · Регистрация: 02.08.2013

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

Помогите пожалуйста. Не могу справится с задачей.
Доказать, что формула является теоремой ИВ:
F > (¬ G > ¬ (F > G)) (> - импликация).

Доказательство нужно построить с помощью последовательности формул (аксиом, теорем) и правила modus pones.

@Mikl___ · 29.06.2015, 14:41

$https://www.cyberforum.ru/cgi-bin/latex.cgi?F\rightarrow(\bar{G}\rightarrow\bar{(F\rightarrow G)})=\bar{F}+G+\bar{(\bar{F}+G)}=$
$https://www.cyberforum.ru/cgi-bin/latex.cgi?=\bar{F}+(G+F\cdot\bar{G})=G+(\bar{F}+F)=G+1=1$

@Saval1986 0 / 0 / 0 Регистрация: 02.08.2013 Сообщений: 4
		1
	Алгебра логики. Доказать, что формула является теоремой ИВ 29.06.2015, 11:55. Показов 515. Ответов 1 Метки нет (Все метки) Помогите пожалуйста. Не могу справится с задачей. Доказать, что формула является теоремой ИВ: F > (¬ G > ¬ (F > G)) (> - импликация). Доказательство нужно построить с помощью последовательности формул (аксиом, теорем) и правила modus pones. 0

@Mikl___ Ушел с форума 16160 / 7498 / 1031 Регистрация: 11.11.2010 Сообщений: 13,495
	29.06.2015, 14:41	2
	$https://www.cyberforum.ru/cgi-bin/latex.cgi?F\rightarrow(\bar{G}\rightarrow\bar{(F\rightarrow G)})=\bar{F}+G+\bar{(\bar{F}+G)}=$ $https://www.cyberforum.ru/cgi-bin/latex.cgi?=\bar{F}+(G+F\cdot\bar{G})=G+(\bar{F}+F)=G+1=1$ 1

Опции темы