Note 382 — Chapter V
Reading edition
A categorical syllogism in Camestres may similarly be reduced to Celarent without transposing the premisses. Thus, All P is M, No S is M, therefore, No S is P, becomes, by contraposition of the major and obversion of the minor premiss, No not-M is P, All S is not-M, therefore, No S is P.