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.