Template:Individual-TLP-paragraph-pt-br-6.1221

6.1221 Se, por exemplo, duas proposições “p” e “q” geram, na conexão p ⊃ q, uma tautologia, é claro então que q se segue de p.

Que, por exemplo, “q” segue-se de “p ⊃ q . p”, vemos graças ao exame de ambas as proposições, mas podemos mostrá-lo ligando-as em “p ⊃ q . p : ⊃ : q” e mostrando que esta última forma uma tautologia.