Template:Individual-TLP-paragraph-pt-br-5.101
5.101 As funções de verdade de todos os números de proposições elementares inscrevem-se no seguinte esquema:
(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) |
A essas possibilidades de verdade de seus argumentos de verdade, que confirmam as proposições, chamo de seus fundamentos de verdade.