~Πp = p = ~p ⊃ p = ~p ⊃ ~πp

⊢q = ⊢~q ⊃ q


     ⊢~q ⊃ q = ⊢q ⊃ ~q


⊢Q
⊢~Q
p ⊃ q
~p ⌵ q





~~p = p
3617 × 8901


     ~ΠP = P = ~P ⊃ ~πP



~p ⊃ ~πp

Πp ⊃ p


~~p ⊃ p

~~~~p ⊃ p

~2np ⊃ p

~p ⊃ p
9