Solutions09

# Solutions09 - Chapter 9 Hints and Selected Solutions...

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
This is the end of the preview. Sign up to access the rest of the document.

Unformatted text preview: Chapter 9: Hints and Selected Solutions Section 9.3 (page 234) 9.1 The ﬁrst four sentences: 9.2 Here is one possible way of ﬁxing up the odd numbered sentences: 1 Section 9.4 (page 238) 9.7 According to the formation rules, quantiﬁers can combine with variables, not with names. b is a name, not a variable, so cannot be used with a quantiﬁer. Section 9.5 (page 241) 9.9 Here is one of many worlds that make all of Aristotle’s Sentences true. You should use a diﬀerent world. You could build one with just four blocks. 9.12 1. ∀x(Tet(x) → Small(x)) 4. ∃x(Dodec(x) ∧ Large(x)) 7. ∃x(Dodec(x) ∧ ¬Small(x)) 10. ∀y(Cube(y) → ¬Large(y)) Section 9.6 (page 247) 9.16 1. ∃xLarge(x) 4. ∃x(Cube(x) ∧ Large(x)) 7. ∃x(Cube(x) ∧ Large(x) ∧ LeftOf(x, b)) 10. ∃x(Cube(x) ∧ Large(x) ∧ LeftOf(x, b) ∧ BackOf(x, c)) 13. ∃x¬(Large(x) ∧ Dodec(x)) 9.19 1. ∀x(Person(x) → ¬Pet(x)) 4. ∃t(2 : 00 < t ∧ t < 3 : 00 ∧ Fed(claire, folly, t)) 2 7. ∀x((Student(x) ∧ Angry(x, 3 : 00)) ↔ x = claire) 10. ∀x(Owned(x, pris, 2 : 00) → Angry(x, 2 : 05)) Section 9.7 (page 253) 9.23 1. Evelyn 4. Jon 7. Any one of Melanie, J.R., or Claire satsifes this wﬀ. 10. Helen 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.

### Page1 / 3

Solutions09 - Chapter 9 Hints and Selected Solutions...

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

View Full Document
Ask a homework question - tutors are online