Template:Individual-TLP-paragraph-fr-6.1221

6.1221 Si, par exemple, des deux propositions « p » et « q » dans leur connexion « p ⊃ q » une tautologie résulte, il est alors clair que q suit de p.

Que par exemple « q » suive de « p ⊃ q . p » nous le voyons sur ces deux propositions mêmes, en les liant dans « p ⊃ q . p : ⊃ : q », et montrant alors que c'est là une tautologie.