Logic

Syllogism

A form of deductive reasoning consisting of a major premise, a minor premise, and a conclusion that necessarily follows from them.

Developed by Aristotle, the syllogism is the foundational structure of formal logic.

**Example:** - Major premise: All men are mortal. - Minor premise: Socrates is a man. - Conclusion: Therefore, Socrates is mortal.

A valid syllogism is one where the conclusion follows necessarily from the premises. A sound syllogism is valid *and* has true premises.