A syllogism, also known as a rule of inference, is a formal logical scheme used to draw a conclusion from a set of premises. An example of a syllogism is modus ponens.

See also

Conclusion, Deduction, Disjunctive Syllogism, Logic, Modus Ponens, Premise, Propositional Calculus

Explore with Wolfram|Alpha

Cite this as:

Weisstein, Eric W. "Syllogism." From MathWorld--A Wolfram Web Resource.

Subject classifications