Solutions19 - Chapter 19 Hints and Selected Solutions...

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

View Full Document Right Arrow Icon
Chapter 19: Hints and Selected Solutions Section 19.2 (page 531) 19.1 1. c Larger ( a , x ) has date of birth = 1. This constant is also called c 1 later in the exercise. 2. c Larger ( c 1 , x ) has date of birth = 2. This constant is also called c 2 later in the exercise. Section 19.3 (page 533) 19.2 1. xLarger ( a , x ) Larger ( a , c Larger ( a , x ) ) 2. xLarger ( c 1 , x ) Larger ( a , c Larger ( c 1 , x ) ) 19.4 1. The truth functional form of the argument is A B C D C Clearly C is not a tautological consequence of the premises. 19.5 1. Hint: The crucial fact for this one is that the sentence ( Cube ( a ) Small ( sa )) → ∃ x ( Cube ( x ) Small ( x )) is a sentence of H . 19.6 1. xCube ( x ) Cube ( c ) is of type H1. 4. ¬ ( Cube ( c ) Small ( c )) → ∃ x ¬ ( Cube ( x ) Small ( x )) is of type H2. 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
19.10 19.11 Hint: Use your answer to Exercise 6.33 and break into cases. 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 / 5

Solutions19 - Chapter 19 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