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) ∙ p = p ∙ q
65
⌊⌊
     (p ∙ q) ⌵ p = p            p ∙ q = [q|p]
                      p ⌵ q = (p ∙ q) ⌵ p = p
                      ~p ⌵ q
⌋⌋
~(p ∙ q) ⌵ p = T(Ƒ)           
                             p ⊃ p ⌵ q
(~(p ∙ q) ⌵ p) ⌵ (p ∙ q) = p ∙ q
                             pP. ⊃ .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.