Categorical Reasoning

 

The Categorical Proposition (with Euler's diagrams)
Restatement of ordinary language propositions
Immediate Inference - conversion
Immediate Inference - obversion
The Square of Opposition
The Categorical Syllogism