6.1221

Si, par exemple, des deux propositions « p » et « q » dans leur connexion « p ⊃ q » une tautologie résulte, il est alors clair que q suit de p.