You can not select more than 25 topics
Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
10 lines
370 B
10 lines
370 B
A sequent is an expression of the form
|
|
|
|
\begin{center}
|
|
\setlength{\abovedisplayskip}{-15pt}
|
|
$\phi_1, \phi_2,\!..., \phi_n \ent \psi.$
|
|
\end{center}
|
|
|
|
$\phi_1, \phi_2,\!..., \phi_n$ are called premises. $\psi$ is called the conclusion.
|
|
The premises entail the conclusion.
|
|
This means that for any valid sequence, we can proof that the conclusion follows from the premises.
|