Category:Definitions/Rules of Inference
Jump to navigation
Jump to search
This category contains definitions related to Rules of Inference.
Related results can be found in Category:Rules of Inference.
A rule of inference is a specification of a valid means to conclude new theorems in $\mathscr P$ from given theorems and axioms of $\mathscr P$.
Often, the formulation of rules of inference also appeals to the notion of provable consequence to be able to deal with assumptions as part of a proof.
Subcategories
This category has only the following subcategory.
Pages in category "Definitions/Rules of Inference"
The following 9 pages are in this category, out of 9 total.