| (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)
|