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.2: 45

Answer

If this computer program produces error messages during translation, then it is not correct.

Work Step by Step

• Original statement – A necessary condition for this computer program to be correct is that it not produce error messages during translation. • "r is a necessary condition for s" statement – Not producing errors messages during translation is a necessary condition for this computer program to be correct. • Necessary condition if-then statement (~r→~s) – If this computer program produces error messages during translation, then it is not correct.
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.