hw2-s - ECS 20: Homework 2 Solutions Instructor: Prof.Max...

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

View Full Document Right Arrow Icon
ECS 20: Homework 2 Solutions Instructor: Prof.Max TA: Yuxi Hu Page 46-50 8a. If an animal is a rabbit, then that animal hops. 8b. Every animal is a rabbit and hops. 10a. x ( C ( x ) D ( x ) F ( x )) 10c. x ( C ( x ) ∧¬ D ( x ) F ( x )) 14a. Since ( - 1) 3 = - 1, this is true 14d. Twice a positive number is larger than the number, but this inequality is not true for negative numbers or 0. Therefore x (2 x > x ) is false. Page 72-74 4a. Simplification. 4b. Disjunctive syllogism. 10a. If we use modus tollens starting from the back, then we conclude that I am not sore. Another application of modus tollens then tells us that I did not play hockey. 14d.Let c ( x ) be x is in this class, let f ( x ) be x has been to France, and let l ( x ) be x has visited the Louvre. We are given premises x ( c ( x ) f ( x )), x ( f ( x ) l ( x )). We want to conclude x ( c ( x ) l ( x )). In the proof, a represents an unspecified particular person. Step:
Background image of page 1

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

View Full DocumentRight Arrow Icon
Image of page 2
This is the end of the preview. Sign up to access the rest of the document.

Page1 / 2

hw2-s - ECS 20: Homework 2 Solutions Instructor: Prof.Max...

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

View Full Document Right Arrow Icon
Ask a homework question - tutors are online