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

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

View Full Document Right Arrow Icon

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

View Full DocumentRight Arrow Icon
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 first four sentences: 9.2 Here is one possible way of fixing up the odd numbered sentences: 1 Section 9.4 (page 238) 9.7 According to the formation rules, quantifiers can combine with variables, not with names. b is a name, not a variable, so cannot be used with a quantifier. 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 different 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 wff. 10. Helen 3 ...
View Full Document

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 Right Arrow Icon
Ask a homework question - tutors are online