Questionnaire-2024/propositional_logic/practical_questions/1_3_declarative_self.tex

\item \self Model the following sentences as detailed as possible in propositional logic.
\begin{enumerate}
    \item Bob will win the lottery, if and only if he gets all the numbers right.
    \item Mozart was born in Salzburg, not in Innsbruck.
    \item If the year is a leap-year, then February will have 29 days.
\end{enumerate}