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.2 - Page 116: 10


There exists a computer programs P which compiles without error messages such that P is not correct

Work Step by Step

Negation of the statements of the form, "For all x, q", q being a statement, is "There exists x, ~q".
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.