Discrete Mathematics and Its Applications, Seventh Edition

Published by McGraw-Hill Education
ISBN 10: 0073383090
ISBN 13: 978-0-07338-309-5

Chapter 1 - Section 1.6 - Rules of Inference - Exercises - Page 78: 1

Answer

The Argument is Modus Ponens, The argument is valid The conclusion is true because the Hypotheses are true.

Work Step by Step

Modus Ponens: $$\displaylines{ p \to q \cr p \cr} $$$$- - -$$$$\therefore q$$ Ans- Let us assume: p="Socrates is human" q="Socrates is mortal" Then we can write the given argument as $$\displaylines{ p \to q \cr p \cr} $$$$- - -$$$$\therefore q$$ The order of statements in the argument does not matter, so $$\displaylines{ p \cr p \to q \cr} $$$$- - -$$$$\therefore q$$ Note that the conclusion is true according to the rule of Modus Ponens
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.