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