Categorical Syllogism

• Notation and definitions
• Deduction from single premise
• Conversion of sentences
• Matrices of valid syllogisms

References

[1]: Aristotle, Analytica Priora.