Definition:Sequent

Definition

A sequent is an expression in the form:

$\phi_1, \phi_2, \ldots, \phi_n \vdash \psi$

where $\phi_1, \phi_2, \ldots, \phi_n$ are premises (any number of them), and $\psi$ the conclusion (only one), of an argument.

Sources

• E.J. Lemmon: Beginning Logic (1965): $\S 1.2$
• Michael R.A. Huth and Mark D. Ryan: Logic in Computer Science: Modelling and reasoning about systems (2000): $\S 1.2$