Category:Examples of Rules of Inference
Jump to navigation
Jump to search
This category contains examples of Rule 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.
Pages in category "Examples of Rules of Inference"
The following 2 pages are in this category, out of 2 total.