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
438 B

\begin{enumerate}
\item $a:$ \quad Alice is going to the conference. \\
$b:$ \quad Bob is going to the conference.
$$ a \land b \lor \neg a \land \neg b$$
\item $S:$ \quad Mozart was born in Salzburg. \\
$I:$ \quad Mozart was born in Innsbruck
$$ S \land \neg I $$
\item $m:$ \quad A model assigns truth values to variables of a propositional formula.
$$ m $$
\end{enumerate}