2014 dxdy logo

Научный форум dxdy

Математика, Физика, Computer Science, Machine Learning, LaTeX, Механика и Техника, Химия,
Биология и Медицина, Экономика и Финансовая Математика, Гуманитарные науки




 
 Мат. логика, теорема Дедукции, M.P.
Сообщение21.06.2012, 20:46 
Помогите, пожалуйста, решить:
$(A \to B) \vdash ((C \wedge A) \to B)$

Начал делать:
1. $(A \to B)$ - гипотеза
2. $(C \wedge A)$ - гипотеза
3. $(A \to B) \to (B \to A \wedge B)$ - аксиома
4. $B \to A \wedge B$ - по MP из 2 и 3

Дальше додумать не могу...

 
 
 
 Posted automatically
Сообщение22.06.2012, 14:52 
Аватара пользователя
 i  Тема перемещена из форума «Карантин» в форум «Помогите решить / разобраться (М)»
Причина переноса: не указана.

 
 
 
 Re: Мат. логика, теорема Дедукции, M.P.
Сообщение22.06.2012, 16:13 
Напишите, пожалуйста, последний шаг доказательства (как по теореме о дедукции можно получить нужную Вам выводимость).
vobla в сообщении #587708 писал(а):
2. $(C \wedge A)$ - гипотеза
А из этой гипотезы какие выводы можно сделать?
vobla в сообщении #587708 писал(а):
3. $(A \to B) \to (B \to A \wedge B)$ - аксиома
Уверены?

 
 
 [ Сообщений: 3 ] 


Powered by phpBB © 2000, 2002, 2005, 2007 phpBB Group