6.1221

Se ad es. da due proposizioni «p» e «q» nel collegamento «p ⊃ q» risulta una tautologia, allora è chiaro che q segue da p.