Answer
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".
Discrete Mathematics with Applications 4th Edition
by Epp, Susanna S.
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
Update this answer!
You can help us out by revising, improving and updating this answer.
Update this answerAfter 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.
