rule of inference

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.

conclusion | deduction | disjunctive syllogism | logic | modus ponens | premise | propositional calculus