If every student is human, what necessarily follows?

Contraposition: Classical Rules, Validity and the Later Convention

• Every human is a student
• Some nonstudents are human
• Some students are nonhuman
• Every nonhuman is a nonstudent