Template:Individual-TLP-paragraph-it-5.101
5.101 Le funzioni di verità di un qualunque numero di proposizioni elementari possono essere inserite in uno schema fatto nel modo seguente:
| (VVVV)(p, q) | tautologia | (Se p, allora p; e se q, allora q.) (p ⊃ p . q ⊃ q) |
| (FVVV)(p, q) | a parole: | Non sia p che q. (~(p . q)) |
| (VFVV)(p, q) | » » | Se q, allora p. (q ⊃ p) |
| (VVFV)(p, q) | » » | Se p, allora q. (p ⊃ q) |
| (VVVF)(p, q) | » » | p o q. (p ∨ q) |
| (FFVV)(p, q) | » » | Non q. ~q |
| (FVFV)(p, q) | » » | Non p. ~p |
| (FVVF)(p, q) | » » | p o q, ma non sia p che q. (p . ~q : ∨ : q . ~p) |
| (VFFV)(p, q) | » » | Se p, allora q; e se q, allora p. (p ≡ q) |
| (VFVF)(p, q) | » » | p |
| (VVFF)(p, q) | » » | q |
| (FFFV)(p, q) | » » | Né p né q. (~p . ~q) o (p | q) |
| (FFVF)(p, q) | » » | p e non q. (p . ~q) |
| (FVFF)(p, q) | » » | q e non p. (q . ~p) |
| (VFFF)(p, q) | » » | q e p. (q . p) |
| (FFFF)(p, q) | contraddizione | (p e non p; e q e non q.) (p . ~p . q . ~q) |
Chiamo fondamenti di verità di una proposizione quelle possibilità di verità degli argomenti di verità della proposizione che la rendono vera.