(VVVV)(p, q)
|
Tautologia
|
(Se p, então p; e se g, então q.) (p ⊃ p . q ⊃ q)
|
(FVVV)(p, q)
|
em palavras:
|
Não ambos p e q. (∼(p . q))
|
(VFVV)(p, q)
|
em palavras:
|
Se q, então p. (q ⊃ p)
|
(VVFV)(p, q)
|
em palavras:
|
Se p, então q. (p ⊃ q)
|
(VVVF)(p, q)
|
em palavras:
|
p ou q (p ∨ q)
|
(FFVV)(p, q)
|
em palavras:
|
Não q. ∼q
|
(FVFV)(p, q)
|
em palavras:
|
Não p. ∼p
|
(FVVF)(p, q)
|
em palavras:
|
p ou q mas não ambos. (p . ∼q : ∨ : q . ∼p)
|
(VFFV)(p, q)
|
em palavras:
|
Se p, então q; e se q, então p. (p ≡ q)
|
(VFVF)(p, q)
|
em palavras:
|
p
|
(VVFF)(p, q)
|
em palavras:
|
q
|
(FFFV)(p, q)
|
em palavras:
|
q)
|
(FFVF)(p, q)
|
em palavras:
|
p e não q. (p . ∼q)
|
(FVFF)(p, q)
|
em palavras:
|
q e não p. (q . ∼p)
|
(VFFF)(p, q)
|
em palavras:
|
q e p (q . p)
|
(FFFF)(p, q)
|
Contradição
|
(p e não p; e q e não g.) (p . ∼p . q . ∼q)
|