Помогите доказать теорему в системе натурального вывода

[Khaos]

Дано: (¬p ∨ ¬q)
Доказать: ~(p & q)
Очевидно, что необходимо показать: (p & q)⇒формула и (p & q)⇒~(формула). Легко показать, что (p & q)⇒q, но ума не приложу, как показать, что (p & q)⇒~q ):

[Deggial]

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

Наберите формулы $\TeX$ом. Инструкции по оформлению формул здесь или здесь (или в этом видеоролике).
(если хотите текст в $\TeX$е писать, то он пишется так:

$\text{текст}$

$$\text{текст}$$

)
После исправлений сообщите в теме Сообщение в карантине исправлено, и тогда тема будет возвращена.