Нужно доказать клаузу аксиоматическим методом. У меня ошибка.Не могу найти ошибку

@lueatomo · Регистрация: 26.02.2014

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

Дана клауза (А -> С) -> ( -А & В) =>А v В
Нужно доказать клаузу аксиоматическим методом.Помогите пожалуйста найти ошибку.
1 и 2 строка правильные. Ошибка как сказал препод находится с 3-5 строки

@lueatomo · 17.04.2015, 20:20 **[ТС]**

@Mikl___ · 18.04.2015, 03:04

$https://www.cyberforum.ru/cgi-bin/latex.cgi?(A\rightarrow C)\rightarrow(\bar{A}\cdot B)=\bar{(\bar{A}+C)}+\bar{A}B=$
$https://www.cyberforum.ru/cgi-bin/latex.cgi?=A\bar{C}+\bar{A}B\neq A+B$

@lueatomo · 19.04.2015, 10:06 **[ТС]**

Mikl___, Попробовал сдать ваш вариант, тоже неправильно(

@Mikl___ · 19.04.2015, 10:39

lueatomo,
набери в редакторе формул, то что было на рисунке

@lueatomo · 19.04.2015, 14:43 **[ТС]**

$https://www.cyberforum.ru/cgi-bin/latex.cgi?(A\rightarrow C)\rightarrow (\bar{A}\wedge B)\Rightarrow A\vee B (A\rightarrow C)\rightarrow (\bar{A}\wedge B),\bar{B} \Rightarrow A (\bar{A\rightarrow C})\vee (\bar{A}\wedge B)\wedge \bar{B}\Rightarrow A (\bar{\bar{A}\vee C)}\vee (\bar{A}\wedge B\wedge\bar{B})\Rightarrow A A\wedge\bar{C}\Rightarrow A$

OldFedor · 19.04.2015, 14:45

$https://www.cyberforum.ru/cgi-bin/latex.cgi?(A\rightarrow C)\rightarrow (\bar{A}\wedge B)\Rightarrow A\vee B$

@lueatomo · 19.04.2015, 22:14 **[ТС]**

OldFedor, Это и так ясно, а так спасибо

OldFedor · 19.04.2015, 22:38

Не по теме:

Я просто опоздал изобразить Ваше. Ответ Вам дали железобетонный.

@Mikl___ · 20.04.2015, 04:59

lueatomo,
из (А -> С) -> ( -А & В) не следует А v В и в сообщении #3 я показал почему
из $https://www.cyberforum.ru/cgi-bin/latex.cgi?A\wedge\bar{C}$ не следует $https://www.cyberforum.ru/cgi-bin/latex.cgi?A$
из $https://www.cyberforum.ru/cgi-bin/latex.cgi?(\bar{A\rightarrow C})\vee(\bar{A}\wedge B)\wedge\bar{B}$ не следует $https://www.cyberforum.ru/cgi-bin/latex.cgi?A$
$https://www.cyberforum.ru/cgi-bin/latex.cgi?(A\rightarrow C)\rightarrow(\bar{A}\cdot B)=(A+B)(\bar{A}+\bar{C})$

@lueatomo 0 / 0 / 0 Регистрация: 26.02.2014 Сообщений: 18
		1
	Нужно доказать клаузу аксиоматическим методом. У меня ошибка.Не могу найти ошибку 17.04.2015, 17:02. Показов 1392. Ответов 9 Метки нет (Все метки) Дана клауза (А -> С) -> ( -А & В) =>А v В Нужно доказать клаузу аксиоматическим методом.Помогите пожалуйста найти ошибку. 1 и 2 строка правильные. Ошибка как сказал препод находится с 3-5 строки 0

@lueatomo 0 / 0 / 0 Регистрация: 26.02.2014 Сообщений: 18
	17.04.2015, 20:20 [ТС]	2
	0

@Mikl___ Ушел с форума 16339 / 7658 / 1076 Регистрация: 11.11.2010 Сообщений: 13,705
	18.04.2015, 03:04	3
	$https://www.cyberforum.ru/cgi-bin/latex.cgi?(A\rightarrow C)\rightarrow(\bar{A}\cdot B)=\bar{(\bar{A}+C)}+\bar{A}B=$ $https://www.cyberforum.ru/cgi-bin/latex.cgi?=A\bar{C}+\bar{A}B\neq A+B$ 1

@lueatomo 0 / 0 / 0 Регистрация: 26.02.2014 Сообщений: 18
	19.04.2015, 10:06 [ТС]	4
	Mikl___, Попробовал сдать ваш вариант, тоже неправильно( 0

@Mikl___ Ушел с форума 16339 / 7658 / 1076 Регистрация: 11.11.2010 Сообщений: 13,705
	19.04.2015, 10:39	5
	lueatomo, набери в редакторе формул, то что было на рисунке 0

@lueatomo 0 / 0 / 0 Регистрация: 26.02.2014 Сообщений: 18
	19.04.2015, 14:43 [ТС]	6
	$https://www.cyberforum.ru/cgi-bin/latex.cgi?(A\rightarrow C)\rightarrow (\bar{A}\wedge B)\Rightarrow A\vee B<br /> <br /> (A\rightarrow C)\rightarrow (\bar{A}\wedge B),\bar{B} \Rightarrow A<br /> <br /> (\bar{A\rightarrow C})\vee (\bar{A}\wedge B)\wedge \bar{B}\Rightarrow A<br /> <br /> (\bar{\bar{A}\vee C)}\vee (\bar{A}\wedge B\wedge\bar{B})\Rightarrow A<br /> <br /> A\wedge\bar{C}\Rightarrow A$ 0

OldFedor 7485 / 4149 / 474 Регистрация: 25.08.2012 Сообщений: 11,530 Записей в блоге: 11
	19.04.2015, 14:45	7
	$https://www.cyberforum.ru/cgi-bin/latex.cgi?(A\rightarrow C)\rightarrow (\bar{A}\wedge B)\Rightarrow A\vee B$ 0

@lueatomo 0 / 0 / 0 Регистрация: 26.02.2014 Сообщений: 18
	19.04.2015, 22:14 [ТС]	8
	OldFedor, Это и так ясно, а так спасибо 0

OldFedor
	19.04.2015, 22:38 #9
	Не по теме: Я просто опоздал изобразить Ваше. Ответ Вам дали железобетонный. 0

@Mikl___ Ушел с форума 16339 / 7658 / 1076 Регистрация: 11.11.2010 Сообщений: 13,705
	20.04.2015, 04:59	10
	lueatomo, из (А -> С) -> ( -А & В) не следует А v В и в сообщении #3 я показал почему из $https://www.cyberforum.ru/cgi-bin/latex.cgi?A\wedge\bar{C}$ не следует $https://www.cyberforum.ru/cgi-bin/latex.cgi?A$ из $https://www.cyberforum.ru/cgi-bin/latex.cgi?(\bar{A\rightarrow C})\vee(\bar{A}\wedge B)\wedge\bar{B}$ не следует $https://www.cyberforum.ru/cgi-bin/latex.cgi?A$ $https://www.cyberforum.ru/cgi-bin/latex.cgi?(A\rightarrow C)\rightarrow(\bar{A}\cdot B)=(A+B)(\bar{A}+\bar{C})$ 0