Definition:Theorem/Logic

(Redirected from Definition:Theorem of Logic)

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 ...