Syllogism — Definition, Formula & Examples

A syllogism is a logical argument where two statements (called premises) combine to produce a conclusion. If the first statement leads to the second, and the second leads to the third, then the first must lead to the third.

A syllogism is a deductive argument consisting of two premises and a conclusion, structured so that if $p \Rightarrow q$ and $q \Rightarrow r$ , then $p \Rightarrow r$ . This specific form is known as a hypothetical syllogism or the Law of Syllogism, and it is a fundamental rule of inference in propositional logic.

Key Formula

\text{If } p \Rightarrow q \text{ and } q \Rightarrow r, \text{ then } p \Rightarrow r.

Where:

$p$ = The hypothesis of the first conditional statement
$q$ = The shared middle term — conclusion of the first and hypothesis of the second
$r$ = The conclusion of the second conditional statement

How It Works

A syllogism chains two conditional statements together through a shared middle term. The conclusion of the first conditional must match the hypothesis of the second. When this alignment holds, you can bypass the middle term entirely and link the outer terms directly. In geometry proofs, you often use this to connect a sequence of if-then reasoning steps into a single conclusion.

Example

Problem: Given: (1) If a shape is a square, then it is a rectangle. (2) If a shape is a rectangle, then it has four right angles. What can you conclude about squares?

Identify the premises: Let p = 'a shape is a square,' q = 'it is a rectangle,' and r = 'it has four right angles.' Premise 1 gives p ⇒ q, and Premise 2 gives q ⇒ r.

p \Rightarrow q \quad \text{and} \quad q \Rightarrow r

Apply the Law of Syllogism: Because the conclusion of the first statement (q) matches the hypothesis of the second, we chain them together.

p \Rightarrow r

Answer: If a shape is a square, then it has four right angles.

Why It Matters

Syllogisms are the backbone of multi-step geometric proofs, where you chain together known theorems to reach a final result. They also appear in discrete mathematics and computer science when verifying logical circuits or writing formal algorithm proofs.

Common Mistakes

Mistake: Trying to chain statements where the middle terms do not match — for example, using p ⇒ q and r ⇒ s and claiming p ⇒ s.

Correction: The conclusion of the first conditional must be exactly the hypothesis of the second. If q and r are different statements, the Law of Syllogism does not apply.