Template:Individual-TLP-paragraph-es-6.1221

6.1221 Si dan como resultado, por ejemplo, dos proposiciones «p» y «q» en conexión «p ⊃ q» una tautología, entonces está claro que q se sigue de p.

Que, por ejemplo, «q» se sigue de «p ⊃ q . p», lo deducimos de ambas proposiciones propias, pero podemos también mostrar así, en tanto que las unimos en «p ⊃ q . p : ⊃ : q» y ahora mostramos que esto es una tautología.