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.
9 lines
382 B
9 lines
382 B
\item \lect Look at the following statements and tick them if they are true.
|
|
|
|
\begin{itemize}
|
|
\item[$\ticked$] In a sequent, premises entail a conclusion.
|
|
\item[$\square$] In a sequent, conclusions entail a premise.
|
|
\item[$\square$] A sequent is valid, independent on whether a proof can be found.
|
|
\item[$\ticked$] A sequent is valid, if a proof for it can be found.
|
|
|
|
\end{itemize}
|