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

[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
К модераторам
При добавлении тега math начинает неправильно отображаться

[Deggial]

Тема перемещена из форума «Математика (общие вопросы)» в форум «Карантин»
Причина переноса: формулы не оформлены $\TeX$ом, исправляйте дубль