In logic, a rule of inference, inference rule, or transformation rule is the act of drawing a conclusion based on the form of premises interpreted as a function which takes premises, analyses their syntax, and returns a conclusion (or conclusions). For example, the rule of inference modus ponens takes two premises, one in the form of "If p then q" and another in the form of "p" and returns the conclusion "q". The rule is valid with respect to the semantics of classical logic (as well as the semantics of many other non-classical logics), in the sense that if the premises are true (under an interpretation) then so is the conclusion.
Typically, a rule of inference preserves truth, a semantic property. In many-valued logic, it preserves a general designation. But a rule of inference's action is purely syntactic, and does not need to preserve any semantic property: any function from sets of formulae to formulae counts as a rule of inference. Usually only rules that are recursive are important; i.e. rules such that there is an effective procedure for determining whether any given formula is the conclusion of a given set of formulae according to the rule. An example of a rule that is not effective in this sense is the infinitary ω-rule.
Popular rules of inference include modus ponens, modus tollens from propositional logic and contraposition. First-order predicate logic uses rules of inference to deal with logical quantifiers. See List of rules of inference for examples.
Read more about Rule Of Inference: The Standard Form of Rules of Inference, Axiom Schemas and Axioms, Example: Hilbert Systems For Two Propositional Logics, Admissibility and Derivability
Famous quotes containing the words rule of, rule and/or inference:
“The world is filled with the proverbs and acts and winkings of a base prudence, which is a devotion to matter, as if we possessed no other faculties than the palate, the nose, the touch, the eye and ear; a prudence which adores the Rule of Three, which never subscribes, which never gives, which seldom lends, and asks but one question of any project,—Will it bake bread?”
—Ralph Waldo Emerson (1803–1882)
“Men conceive themselves as morally superior to those with whom they differ in opinion. A Socialist who thinks that the opinions of Mr. Gladstone on Socialism are unsound and his own sound, is within his rights; but a Socialist who thinks that his opinions are virtuous and Mr. Gladstone’s vicious, violates the first rule of morals and manners in a Democratic country; namely, that you must not treat your political opponent as a moral delinquent.”
—George Bernard Shaw (1856–1950)
“I have heard that whoever loves is in no condition old. I have heard that whenever the name of man is spoken, the doctrine of immortality is announced; it cleaves to his constitution. The mode of it baffles our wit, and no whisper comes to us from the other side. But the inference from the working of intellect, hiving knowledge, hiving skill,—at the end of life just ready to be born,—affirms the inspirations of affection and of the moral sentiment.”
—Ralph Waldo Emerson (1803–1882)