Ðåøåíèå

{¬p} |– ¬p
(ÓÏ)
{¬¬p,¬p} |– ¬p
{¬¬p} |– ¬¬p
(ÓÏ)
{¬¬p,¬p} |– ¬¬p
^)
{¬¬p,¬p} |– ^
(Ó¬)
{¬¬p} |– p

Íàçàä