Logic0928 - Connectives and varix~ able liars 1 2 3 HW#2...

Info iconThis preview shows pages 1–6. Sign up to view the full content.

View Full Document Right Arrow Icon
Background image of page 1

Info iconThis preview has intentionally blurred sections. Sign up to view the full version.

View Full Document Right Arrow Icon
Serious errata in Ch.10 Between problem 10.1 and Problem 10.2: (should be Problem 10.2) Next a lady from Venus claims to understand the meaning of ~ … Therefore, the rest of the problem numbers should be moved back by one. Problem 10.2 => 10.3 Problem 10.3 => 10.4
Background image of page 2
HW #2, Q1. "Are you the type who can claim that you are married?“ Does it work as NGP for the island of Ch.3 ? (red/black) C If red means yes, a married knight is of such a type and truthfully flashes red. C If red means no, however, a married knight would flash black. (counterexample) C Since we don’t know whether red means yes or no, we cannot determine by the flashed color alone whether the native is married or
Background image of page 3

Info iconThis preview has intentionally blurred sections. Sign up to view the full version.

View Full Document Right Arrow Icon
Q3. “Are you sane iff you are married?” works as NGP for the island of Ch.4? (1) You are sane and you are married, or (2) You are mad and you are not married. A married sane native believes (1) and truthfully says yes. A married mad native falsely believes (1) and (2), and truthfully says yes. An unmarried sane native believes neither (1) nor (2), and truthfully says no. An unmarried mad native doesn’t believe
Background image of page 4
But doesn’t an unmarried mad native be- lieve (1)? An unmarried mad native believes, C I am married (F). C I am sane (F). C
Background image of page 5

Info iconThis preview has intentionally blurred sections. Sign up to view the full version.

View Full Document Right Arrow Icon
Image of page 6
This is the end of the preview. Sign up to access the rest of the document.

{[ snackBarMessage ]}

Page1 / 20

Logic0928 - Connectives and varix~ able liars 1 2 3 HW#2...

This preview shows document pages 1 - 6. Sign up to view the full document.

View Full Document Right Arrow Icon
Ask a homework question - tutors are online