| (VVVV)(p, q)
|
Tautologie
|
(si p alors p ; et si q alors q.) (p ⊃ p . q ⊃ q)
|
| (FVVV)(p, q)
|
soit :
|
pas à la fois p et q. (~(p . q))
|
| (VFVV)(p, q)
|
«
|
si q alors p. (q ⊃ p)
|
| (VVFV)(p, q)
|
«
|
si p alors q. (p ⊃ q)
|
| (VVVF)(p, q)
|
«
|
p ou q. (p ∨ q)
|
| (FFVV)(p, q)
|
«
|
non q. ~q
|
| (FVFV)(p, q)
|
«
|
non p. ~p
|
| (FVVF)(p, q)
|
«
|
p ou q, mais pas les deux. (p . ~q : ∨ : q . ~p)
|
| (VFFV)(p, q)
|
«
|
si p alors q ; et si q alors p. (p ≡ q)
|
| (VFVF)(p, q)
|
«
|
p
|
| (VVFF)(p, q)
|
«
|
q
|
| (FFFV)(p, q)
|
«
|
ni p ni q. (~p . ~q) ou (p | q)
|
| (FFVF)(p, q)
|
«
|
p et non q. (p . ~q)
|
| (FVFF)(p, q)
|
«
|
q et non p. (q . ~p)
|
| (VFFF)(p, q)
|
«
|
q et p. (q . p)
|
| (FFFF)(p, q)
|
Contradiction
|
(p et non p ; et q et non q.) (p . ~p . q . ~q)
|