This preview shows pages 1–4. Sign up to view the full content.
This preview has intentionally blurred sections. Sign up to view the full version.
View Full DocumentThis preview has intentionally blurred sections. Sign up to view the full version.
View Full Document
Unformatted text preview: Ladies or Tigers: First and Third Cases (Ex. 3.9) In the first case, the following signs are on the doors of the rooms: 1 In this room there is a lady, and in the other room there is a tiger. 2 In one of these rooms there is a lady, and in one of these rooms there is a tiger. We are told that one of the signs is true, and the other one is false. In the third case, the following signs are on the doors of the rooms: 1 Either a tiger is in this room or a lady is in the other room 2 A lady is in the other room We are told that the signs are either both true or both false. Mathematics for Computing COMP SCI 1FC3 McMaster University, Winter 2012 Wolfram Kahl kahl@cas.mcmaster.ca 1 February 2012 Plan for Today Textbook Chapter 3: Propositional Calculus Conjunction Doing proofs Ladies or Tigers: Third Case 1 Either a tiger is in this room or a lady is in the other room 2 A lady is in the other room We are told that the signs are either both true or both false. R 1 L : There is a lady in room 1 R 2 L : There is a lady in room 2 S 1 R 1 L negationslash R 2 L S 2 R 1 L S 1 S 2 Ladies or Tigers: Third Case 1 Either a tiger is in this room or a lady is in the other room 2 A lady is in the other room We are told that the signs are either both true or both false. R 1 L : There is a lady in room 1 R 2 L : There is a lady in room 2 S 1 R 1 L negationslash R 2 L S 2 R 1 L S 1 S 2 = ( Def. S 1 , S 2 ) ( R 1 L negationslash R 2 L ) R 1 L = ( (3.14) ( p negationslash q ) p q ) R 1 L R 2...
View Full
Document
 Spring '11
 KahlWolfram

Click to edit the document details