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