Note 233 — Chapter VIII

Or we might argue directly as follows; since the proposition All S is P denies the existence of anything that is both S and not-P, it implies that if there is any S there is some P and that if there is any not-P there is some not-S ; and these are the only implications with regard to existence involved in its contrapositive.