Template:Individual-TLP-paragraph-fr-5.101
5.101 Les fonctions de vérité de tout nombre donné de propositions élémentaires peuvent être écrites selon un schéma du type suivant :
(VVVV)(p, q) | Tautologie | (si p alors p ; et si q alors q.) (p ⊃ p . q ⊃ q) |
(FVVV)(p, q) | soit : | pas à la fois p et q. (~(p . q)) |
(VFVV)(p, q) | « | si q alors p. (q ⊃ p) |
(VVFV)(p, q) | « | si p alors q. (p ⊃ q) |
(VVVF)(p, q) | « | p ou q. (p ∨ q) |
(FFVV)(p, q) | « | non q. ~q |
(FVFV)(p, q) | « | non p. ~p |
(FVVF)(p, q) | « | p ou q, mais pas les deux. (p . ~q : ∨ : q . ~p) |
(VFFV)(p, q) | « | si p alors q ; et si q alors p. (p ≡ q) |
(VFVF)(p, q) | « | p |
(VVFF)(p, q) | « | q |
(FFFV)(p, q) | « | ni p ni q. (~p . ~q) ou (p | q) |
(FFVF)(p, q) | « | p et non q. (p . ~q) |
(FVFF)(p, q) | « | q et non p. (q . ~p) |
(VFFF)(p, q) | « | q et p. (q . p) |
(FFFF)(p, q) | Contradiction | (p et non p ; et q et non q.) (p . ~p . q . ~q) |
À ces possibilités de vérité de ses arguments de vérité qui vérifient une proposition, je donnerai le nom de fondements de vérité de cette proposition.