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.