Template:Individual-TLP-paragraph-fr-6.1201

6.1201 Que par exemple les propositions « p » et « ~p » dans la connexion « ~(p . ~p) » engendrent une tautologie montre qu'elles se contredisent l'une l'autre. Que les propositions « p ⊃ q », « p », et « q » liées sous la forme : « (p ⊃ q) . (p) : ⊃ : (q) » engendrent une tautologie montre que q suit de p et de p ⊃ q. Que « (x) . fx : ⊃ : fa » soit une tautologie montre que fa suit de (x) . fx, etc., etc.