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

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

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

View Full Document
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
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

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

View Full Document
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
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

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

View Full Document
This is the end of the preview. Sign up to access the rest of the document.

## This note was uploaded on 02/04/2010 for the course HSS Hss105 taught by Professor Yeelee during the Fall '09 term at Korea Advanced Institute of Science and Technology.

### 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
Ask a homework question - tutors are online