Category:Rules of Inference

From ProofWiki
Jump to navigation Jump to search

This category contains results about Rules of Inference.
Definitions specific to this category can be found in Definitions/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.