How to use in-sentence of “inference”:
+ For example, the rule of inference called “modus ponens” takes two premises, one in the form “If p then q” and another in the form “p”, and returns the conclusion “q”.
+ The book was an attempt to describe a set of axioms and inference rules in symbolic logic from which all mathematical truths could in principle be proved.
+ By Inference inference the same thing happened on Mercury, Venus, and Mars as well.
+ An example of this is the use of the rules of inference found within symbolic logic.
+ In logic, a rule of inference, inference rule, or transformation rule is a logical form consisting of a function which takes premises, analyzes their syntax, and returns a conclusion.

