Мат. логика, теорема Дедукции, M.P.

[vobla]

Помогите, пожалуйста, решить:
$(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

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

[AKM]

Тема перемещена из форума «Карантин» в форум «Помогите решить / разобраться (М)»
Причина переноса: не указана.

[Maslov]

Напишите, пожалуйста, последний шаг доказательства (как по теореме о дедукции можно получить нужную Вам выводимость).

vobla в сообщении #587708 писал(а):

2. $(C \wedge A)$ - гипотеза

А из этой гипотезы какие выводы можно сделать?

vobla в сообщении #587708 писал(а):

3. $(A \to B) \to (B \to A \wedge B)$ - аксиома

Уверены?