hw-biconditionals.tex

%%% Local Variables:
%%% TeX-master: "Proofs"
%%% End:
\probsec{~\ref{sec:biconditionals}}
\begin{enumerate}
    \item You meet Arcturus and Betelgeuse.
  \begin{dialogue}
    \speak{Arcturus} I am a \knight if and only if Betelgeuse is a \knight.
  \end{dialogue}
  What can you conclude?

    \item You encounter Acidophilus, Bifidus, and Curd.
  \begin{dialogue}
    \speak{Acidophilus} I am a \knave if and only if Bifidus is a \knight.
    \speak{Bifidus} Curd is a \knave.
    \speak{Curd} Acidophilus is a \knight.
  \end{dialogue}

    \item You encounter Anchovy, Bacon, and Capsicum.
  \begin{dialogue}
    \speak{Anchovy} Bacon is a \knight if and only if Capsicum is a \knight.
    \speak{Bacon} Either Anchovy or Capsicum is a \knave.
    \speak{Capsicum} Both Anchovy and I are \knights.
  \end{dialogue}

\end{enumerate}