Ðåøåíèå
{
¬p
} |–
¬p
(ÓÏ)
{
¬¬p,¬p
} |–
¬p
{
¬¬p
} |–
¬¬p
(ÓÏ)
{
¬¬p,¬p
} |–
¬¬p
(Â
^
)
{
¬¬p,¬p
} |–
^
(Ó¬)
{
¬¬p
} |–
p
Íàçàä