Aristotelian Logic, Categorical Propositions & Immediate Inferences

 Square of Opposition, The Problem of Existential Import

 Translating Categorical Propositions into Standard form

  Immediate Inferences: Conversion, Obversion and Contraposition