-
Notifications
You must be signed in to change notification settings - Fork 0
/
hw-knights-knaves.tex
41 lines (34 loc) · 1.41 KB
/
hw-knights-knaves.tex
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
%%% Local Variables:
%%% TeX-master: "Proofs"
%%% End:
\probsec{~\ref{sec:knights-knaves}}
\noindent In all of the following, named characters are \knights or \knaves.\marginnote{Remember that all answers should be explained in complete sentences! The goal is clarity.}
\begin{enumerate}
\item Suppose Adonis says, ``I am a \knight.'' What can you conclude?
\item Suppose you encounter Atman and Brahman.
\begin{dialogue}
\speak{Atman} Brahman would say that I am a \knight.
\speak{Brahman} That's not true.
\end{dialogue}
What can you conclude?
\item You meet Achilles and Bellerophon.
\begin{dialogue}
\speak{Achilles} Bellerophon would say that I am a \knave.
\speak{Bellerophon} Achilles would say that I am a \knight.
\end{dialogue}
What can you conclude?
\item You encounter Ayumi, Bethesda, and Coco.
\begin{dialogue}
\speak{Ayumi} Bethesda would say that Coco is a \knave.
\speak{Bethesda} Coco would say that Ayumi is a \knave.
\speak{Coco} Ayumi is a \knight.
\end{dialogue}
You additionally know that at least one of the three is a \knight. What can you conclude?
\item You encounter Aragorn, Boromir, and Celeborn.
\begin{dialogue}
\speak{Aragorn} Boromir would say that Celeborn is a \knave.
\speak{Boromir} Aragorn is a \knave.
\speak{Celeborn} Boromir would say that I am a \knave.
\end{dialogue}
What can you conclude?
\end{enumerate}