Solutions14 - Chapter 14 Hints and Selected Solutions Section 14.1(page 371 14.1 One way to do the You Try It is shown in the two worlds below You

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

View Full Document Right Arrow Icon
Chapter 14: Hints and Selected Solutions Section 14.1 (page 371) 14.1 One way to do the You Try It is shown in the two worlds below. You should submit different looking worlds. 1
Background image of page 1

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

View Full DocumentRight Arrow Icon
1. There is exactly one tove. 4. All toves are identical (=). 14.3 1. x y ( Dodec ( x ) Dodec ( y ) x 6 = y ) 4. x y z [ x 6 = y x 6 = z y 6 = z ∧¬ Small ( x ) ∧¬ Small ( y ) ∧¬ Small ( z ) v ( ¬ Small ( z ) ( v = x v = y v = z ))] 14.6 1. x y ( Tet ( x ) Tet ( y ) x 6 = y ) 4. x y z [ x 6 = y x 6 = z y 6 = z Dodec ( x ) Dodec ( y ) Dodec ( z )] 7. x ( Tet ( x ) →∃ yBackOf ( x , y )) 10. x ( Dodec ( x ) ( Small ( x ) Medium ( x ) Large ( x )) Section 14.2 (page 377) 14.10 Hint (fill in the justifications if you use this proof): 14.14 Hint: The argument is not valid. 14.15 Hint: This argument is valid. 2
Background image of page 2
Image of page 3
This is the end of the preview. Sign up to access the rest of the 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 / 4

Solutions14 - Chapter 14 Hints and Selected Solutions Section 14.1(page 371 14.1 One way to do the You Try It is shown in the two worlds below You

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