Построение вывода.

[Sonic86]

Retard в сообщении #793523 писал(а):

но где взять B?

Ну вот чисто содержательно: у Вас дано $A\wedge (B\wedge C)$, у Вас есть аксиомы $F\wedge G\to F, F\wedge G\to G$ и Вы спрашиваете, откуда взять $B$?

[Retard]

Sonic86 в сообщении #793549 писал(а):

Retard в сообщении #793523 писал(а):

но где взять B?

Ну вот чисто содержательно: у Вас дано $A\wedge (B\wedge C)$, у Вас есть аксиомы $F\wedge G\to F, F\wedge G\to G$ и Вы спрашиваете, откуда взять $B$?

Но у нас же посылка $(A\wedge B)\wedge C$, использовать $A\wedge (B\wedge C)$ нельзя же, разве нет? Посылка $(A\wedge B)\wedge C$ получается же, когда мы из правой части переносим выражение. Затем строим вспомогательный вывод.

[arseniiv]

Распакуйте формулу до конца!

Из $X\wedge C$ вытащили $X$ и $C$, а из $A\wedge B$ (которое и есть $X$) почему нет?

[Retard]

arseniiv в сообщении #793559 писал(а):

Распакуйте формулу до конца!

Из $X\wedge C$ вытащили $X$ и $C$, а из $A\wedge B$ (которое и есть $X$) почему нет?

Ну получается же так?:

1)$(A \wedge B) \wedge C$ посылка
2)$(A \wedge B) \wedge C \to A \wedge B$ акс.4
3)$A \wedge B$ m.p.1 и 2
4)$(A \wedge B) \wedge C \to C$ акс.5
5)$C$ m.p. 1 и 4

[arseniiv]

Это всё вы уже делали на прошлой странице. А потом почему-то остановились и попытались собрать всё слишком рано.

[Retard]

arseniiv в сообщении #793571 писал(а):

Это всё вы уже делали на прошлой странице. А потом почему-то остановились и попытались собрать всё слишком рано.

Получается следующее действия такие?:
6)$A \wedge B \to B$
7)$B$

Если да, то нужно как-то соединить A и $B \wedge C$ ?

-- 28.11.2013, 02:15 --

Так?

1)$(A \wedge B) \wedge C$ посылка
2)$(A \wedge B) \wedge C \to A \wedge B$ акс.4
3)$A \wedge B$ m.p.1 и 2
4)$(A \wedge B) \wedge C \to C$ акс.5
5)$C$ m.p. 1 и 4
6)$A \wedge B \to B$
7)$B$
8)$A \wedge B \to A$
9)$A$
10)$C \to (B \to B \wedge C)$
11)$B \to B \wedge C$
12)$B \wedge C$
13)$A \to (B \wedge C \to A \wedge (B \wedge C))$
14)$B \wedge C \to A \wedge (B \wedge C)$
15)$A \wedge (B \wedge C)$

[arseniiv]

Retard в сообщении #793584 писал(а):

10)$C \to (B \to B \wedge C)$
11)$B \to B \wedge C$

Перепутали немного. Аксиомой будет $B \to (C \to B \wedge C)$, и в (11) будет поэтому $C \to B \wedge C$. Всё с соответствующими изменениями в применении modus ponens, конечно, которые расставляются механически — недаром вы их не писали в конце. Всё остальное верно.

Поздравляю! Для закрепления выведите какую-нибудь формулу поинтереснее (желательно общезначимую).

[Retard]

arseniiv в сообщении #793634 писал(а):

Retard в сообщении #793584 писал(а):

10)$C \to (B \to B \wedge C)$
11)$B \to B \wedge C$

Перепутали немного. Аксиомой будет $B \to (C \to B \wedge C)$, и в (11) будет поэтому $C \to B \wedge C$. Всё с соответствующими изменениями в применении modus ponens, конечно, которые расставляются механически — недаром вы их не писали в конце. Всё остальное верно.

Поздравляю! Для закрепления выведите какую-нибудь формулу поинтереснее (желательно общезначимую).

Ну, по сути это же не существенная ошибка?

З.Ы. Спасибо большое :)

[arseniiv]

Retard в сообщении #793636 писал(а):

Ну, по сути это же не существенная ошибка?

По сути, надеюсь, вы будете сдавать исправленный (и дополненный аннотациями, какое правило где применялось, ко всем строкам вывода) вариант. Всякая ошибка по-своему существенна, иначе её бы ошибкой не признавали.