” connected together in the form “ ( p ⊃ q ) . ( p ) : ⊃ : ( q ) ” give a tautology shows that q follows from p and p ⊃ q

542