Category:Definitions/Formal Proofs

This category contains definitions related to Formal Proofs.
Related results can be found in Category:Formal Proofs.

Let $\phi$ be a WFF of $\LL$.

A formal proof of $\phi$ in $\mathscr P$ is a collection of axioms and rules of inference of $\mathscr P$ that leads to the conclusion that $\phi$ is a theorem of $\mathscr P$.

The term formal proof is also used to refer to specific presentations of such collections.

For example, the term applies to tableau proofs in natural deduction.