Построить в исчислении высказывания следующий вывод

[SkylineGleb]

Помогите пожалуйста составить вывод для:
A и B |- не(неA или неB)
Заранее огромное спасибо!

[jetyb]

Формулы пишут в TeX'е. Если не знаете, как пишутся значки, то наведите мышь на мой пример.

Для доказательства понадобятся две леммы:
$\neg A,\neg B\rightarrow\neg(A \vee B)$
$A\rightarrow\neg\neg A$

[SkylineGleb]

$A \wedge B \vdash \neg ( \neg A \vee \neg B)$

вот так выглядит. и для этого написать вывод..

ну или хотяб допустим мне надо $\neg A$ чтоб через модус получить из этого то что в скобках $\neg A \to (B \to \neg A)$
у меня есть в распоряжении $A \to B $ , $B \to A $ , $A$ , $B$ , $ A \wedge B $

[jetyb]

$\neg A$ нельзя получить: тогда у нас будут одновременно выведены и $A$, и $\neg A$ , а тогда построенная теория будет противоречивой.

Лучше делайте через те две леммы, они все равно, раз вы проходите логику высказываний, потребуются для теоремы полноты; попробуйте вывести $\neg(\neg A\vee\neg B) $, считая леммы доказанными.

[SkylineGleb]

вот я сделал, выражал последовательно и пришел к тому, что написал выше. подругому то что надо вывести не как вроде не сделать, т.к. отрицание скобки в конце только в 9 аксиоме

[AKM]

Тема перемещена из "Помогите решить (М)" в карантин. Почему это произошло, можно понять, прочитав тему
Что такое карантин, и что нужно делать, чтобы там оказаться
Там же описано, как исправлять ситуацию.

Замена формул картинками не допускается. В карантине у Вас есть возможность исправить своё сообщение (используйте кнопку ).