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.
13 lines
468 B
13 lines
468 B
\item \lect Consider a formula $\varphi$ in propositional logic. In the
|
|
following list, tick all statements that are true.
|
|
|
|
\begin{itemize}
|
|
\item[$\ticked$] If $\varphi$ is not satisfiable, $\neg \varphi$
|
|
is valid.
|
|
\item[$\ticked$] If $\varphi$ is valid, $\neg \varphi$ is not
|
|
valid.
|
|
\item[$\ticked$] If $\varphi$ is valid, $\neg \varphi$ is not
|
|
satisfiable.
|
|
\item[$\ticked$] If $\varphi$ is not valid, $\neg \varphi$ is
|
|
satisfiable.
|
|
\end{itemize}
|