Obverting propositions (The Trivium, Part 14)

Here we learn about a third and final kind of immediate inference: obversion. Obverting a proposition (i.e., reversing its quality and negating its predicate), is another way to make explicit what a given categorical proposition implies.