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.