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.