p ⊃ p = T
(p ⊃ p) ∙ q =
q
T ∙ p
= p
p ⌵ T
= T
p ∙ q
. ⊃ . p = T
(p ∙ q ⊃ p) ∙ r
= r
(p ∙ q) ∙ p = p ∙ q
65
(p ∙ q) ⌵ p =
p
p ∙ q
=
p
p ⌵ q
= (p ∙ q) ⌵ p = p
~p ⌵ q
~(p ∙ q) ⌵ p =
T
(Ƒ)
p ⊃ p ⌵ q
(~(p ∙ q) ⌵ p) ⌵ (p ∙ q)
= p ∙ q
P. ⊃ .Q
= T(Ƒ)
⊢(p ⊃ q) =
p
~p
= ~p ∙ q =
~p ∙ ~q =
~p
⊢p
~p ⌵ q =
~(p ∙ q) ⌵ q =
p ∙ q ⊃ q
⊢q
~(~p ∙ ~)q
= ~p
p ⌵ q
= ~p
q
. ⊃ . p ⌵ q =
Log.