Definition:Rule of Inference/Also known as
Jump to navigation
Jump to search
Rule of Inference: Also known as
A rule of inference is also known as:
- an inference rule
- a rule of transformation or a transformation rule
- a rule of derivation
- a rule of proof.
With all these, literature might have a specific meaning attached, so be careful before treating any of these as synonyms.
On $\mathsf{Pr} \infty \mathsf{fWiki}$, proof rule and rule of inference are the terminology of choice and are used interchangeably.
Sources
- 1946: Alfred Tarski: Introduction to Logic and to the Methodology of Deductive Sciences (2nd ed.) ... (previous) ... (next): $\S \text{II}.15$: Rules of inference
- 1959: A.H. Basson and D.J. O'Connor: Introduction to Symbolic Logic (3rd ed.) ... (previous) ... (next): $\S 4.2$: The Construction of an Axiom System
- 1964: Donald Kalish and Richard Montague: Logic: Techniques of Formal Reasoning ... (previous) ... (next): $\text{I}$: 'NOT' and 'IF': $\S 3$
- 1965: E.J. Lemmon: Beginning Logic ... (previous) ... (next): $\S 1.2$: Conditionals and Negation
- 2000: Michael R.A. Huth and Mark D. Ryan: Logic in Computer Science: Modelling and reasoning about systems ... (previous) ... (next): $\S 1.2$: Natural Deduction