(VVVV)(p, q)
|
tautologia
|
(Se p, allora p; e se q, allora q.) (p ⊃ p . q ⊃ q)
|
(FVVV)(p, q)
|
a parole:
|
Non sia p che q. (~(p . q))
|
(VFVV)(p, q)
|
» »
|
Se q, allora p. (q ⊃ p)
|
(VVFV)(p, q)
|
» »
|
Se p, allora q. (p ⊃ q)
|
(VVVF)(p, q)
|
» »
|
p o q. (p ∨ q)
|
(FFVV)(p, q)
|
» »
|
Non q. ~q
|
(FVFV)(p, q)
|
» »
|
Non p. ~p
|
(FVVF)(p, q)
|
» »
|
p o q, ma non sia p che q. (p . ~q : ∨ : q . ~p)
|
(VFFV)(p, q)
|
» »
|
Se p, allora q; e se q, allora p. (p ≡ q)
|
(VFVF)(p, q)
|
» »
|
p
|
(VVFF)(p, q)
|
» »
|
q
|
(FFFV)(p, q)
|
» »
|
Né p né q. (~p . ~q) o (p | q)
|
(FFVF)(p, q)
|
» »
|
p e non q. (p . ~q)
|
(FVFF)(p, q)
|
» »
|
q e non p. (q . ~p)
|
(VFFF)(p, q)
|
» »
|
q e p. (q . p)
|
(FFFF)(p, q)
|
contraddizione
|
(p e non p; e q e non q.) (p . ~p . q . ~q)
|