Помогите построить вывод

[evgeni3]

$ A∧B |- (¬A ∨ ¬B)⊃ ¬(A ∧ B) $
было бы все вроде понятно
Но
все приходит к тому, чтобы вывести какое-то отрицание, т.е. при выведение чего-либо возникает ситуация, когда какая-либо часть аксиомы становится ложной.
Например, чтобы это вывести, можно попробовать через аксиому 1:
$(¬(A ∧ B))⊃((¬A ∨ ¬B)⊃ ¬(A ∧ B)); A →¬(A ∧ B) , B →(¬A ∨ ¬B)$
Тогда надо выводить $¬(A ∧ B)$.
Потом, если попробовать через 9ую аксиому:
$((A ∧ B) ⊃ ____) ⊃ (((A ∧ B) ⊃ ¬____) > (¬(A ∧ B)));, A → A ∧ B, B → ____$
Так вот, если что-то поставить вместо $B (____)$, то получается какая-то неразбериха.
Там должно что-то стоять, что не будет противоречить истинности части аксиомы?
Если нет, то опять приходит все к тому, чтобы выводить что-то, что является ложным.
А если да, то как это сделать? Ведь это, я думаю, не выходит

Единственное правило вывода — modus ponens

[Lia]

Тема перемещена из форума «Математика (общие вопросы)» в форум «Карантин»
Тема перемещена в Карантин по следующим причинам:

1. Запишите формулы в соответствии с требованиями Правил форума, т.е. в $\TeX$.
Краткие инструкции можно найти здесь: topic8355.html и topic183.html.
Кроме этого, в теме Видео-пособия для начинающих форумчан можно посмотреть видео-ролик "Как записывать формулы".

2. Приведите свои попытки решения и/или укажите затруднения.

Исправьте все Ваши ошибки и сообщите об этом в теме Сообщение в карантине исправлено.
Настоятельно рекомендуется ознакомиться с темами Что такое карантин и что нужно делать, чтобы там оказаться и Правила научного форума.