Discrete Mathematics with Applications 4th Edition

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

Chapter 2 - The Logic of Compound Statements - Exercise Set 2.3 - Page 62: 31

Answer

The argument is valid due to the rule of inference known as $specialisation$

Work Step by Step

p: Sandra knows Java q: Sandra knows C++ Sandra knows Java and Sandra knows C++. (p ∧ q) ∴ Sandra knows C++. (q) The argument flow is: p ∧ q ∴ q which is a valid inference using Specialisation
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.