This preview shows pages 1–3. Sign up to view the full content.
This preview has intentionally blurred sections. Sign up to view the full version.View Full Document
Unformatted text preview: case that either a or b is small, i.e. th at neither are small. The second sentence says that either a is not small or b is small. Thus one way to solve the problem is to build a world in which b is small. Section 3.7 (page 86) 3.20 Some of the translations are shown below as they would appear in Tarski’s World, though we have edited the picture to leave out the other sentences. 3.21 1. Small ( a ) ∨ ( Large ( c ) ∧ Large ( d )) 2 4. Cube ( d ) ∧ Cube ( c ) ∧ ¬ ( Small ( d ) | Small ( c )) 7. ¬ Between ( c , b , a ) ∧ ¬ FrontOf ( c , a ) ∧ ¬ BackOf ( b , c ) 10. Between ( c , f , d ) ∨ ( Smaller ( c , d ) ∧ Larger ( f , c )) 3.24. 1. Claire is a student but Max isn’t. 2. Max did not feed both Pris and Folly at 2:00 p.m. Section 3.8 (page 91) 3.26 1. ¬ ( ¬ P ∧ ¬ Q ) 4. P ∧ ( ¬ Q ∨ ( R ∧ S )) 3...
View Full Document
This note was uploaded on 03/25/2009 for the course LOGIC 20034 taught by Professor Dhoe during the Spring '09 term at Hanover.
- Spring '09