Discrete Mathematics with Applications 4th Edition

Published by Cengage Learning
ISBN 10: 0-49539-132-8
ISBN 13: 978-0-49539-132-6

Chapter 3 - The Logic of Quantified Statements - Exercise Set 3.4 - Page 144: 34


Statements reordered (here you stands for $x, \forall x$): 3. If you are Shakespeare, then you wrote Hamlet. 5. In contrapositive form: If you wrote Hamlet, then you are a true poet. 2. If you are a true poet, then you can stir the human heart. 4. If you can stir the human heart, then you understand human nature. 1. If you understand human nature, then you are clever. Conclusion: $\therefore$ if you are Shakespeare, then you are clever. Shakespeare is clever.

Work Step by Step

Universal transitivity: ∀x,P(x)→Q(x). ∀x,Q(x)→R(x). ∀x,P(x)→R(x).
Update this answer!

You can help us out by revising, improving and updating this answer.

Update this answer

After you claim an answer you’ll have 24 hours to send in a draft. An editor will review the submission and either publish your submission or provide feedback.