Definition:Theorem/Logic

From ProofWiki
Jump to: navigation, search

Definition

A theorem in logic is a statement which can be shown to be the conclusion of a logical argument which depends on no premises except axioms.


A sequent which denotes a theorem $\phi$ is written $\vdash \phi$, indicating that there are no premises.

In this context, $\vdash$ is read as:

It is a theorem that ...


Sources