Computer Science: An Overview: Global Edition (12th Edition)

Published by Pearson Higher Education
ISBN 10: 1292061162
ISBN 13: 978-1-29206-116-0

Chapter 12 - Theory of Computation - Chapter Review Problems - Page 571: 25

Answer

See the explanation

Work Step by Step

If you were systematically asking members of a group about their birthdays, the occurrence of someone confirming they have a birthday on the particular date would indicate that there is such a person. Conversely, if every member denies having a birthday on that date, it would indicate that there is no such person. Similarly, if you were testing positive integers for a particular property, encountering an integer that possesses the property would confirm its existence. However, if you exhaustively test all integers without finding any that meet the criteria, it indicates that no integer has the property. Testing to see if a conjecture is true and testing to see if it is false are not necessarily symmetric tasks. Confirming a conjecture as true requires finding at least one instance where it holds, while disproving it as false involves demonstrating that it fails to hold in all cases. The burden of proof differs between confirming and disproving a conjecture.
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.