CS 2800 Lecture Notes - Lecture 3: Sudoku

43 views2 pages

Document Summary

In english, these three properties are: each number appears in every row, each number appears in every column, no number appears twice in the same box. This is a proposition (and is true) Predicate: something that is true or false based on a variable. There exists an x in n (natural numbers) such that x 7. To prove a statement with there exists we need to give an example. To disprove a statement with there exists we need to disprove for all possible cases. For all x in n (natural numbers), x 0. To prove a statement with for all we need to prove it for all possible cases. To disprove a statement with for all we need to find one counterexample. This is another proposition, and is also true. For all i, for all j 1 , j 2 if j 1 j 2 , s(i,j 1 ) s(i,j 2 ) [this is 1"]

Get access

Grade+20% off
$8 USD/m$10 USD/m
Billed $96 USD annually
Grade+
Homework Help
Study Guides
Textbook Solutions
Class Notes
Textbook Notes
Booster Class
40 Verified Answers
Class+
$8 USD/m
Billed $96 USD annually
Class+
Homework Help
Study Guides
Textbook Solutions
Class Notes
Textbook Notes
Booster Class
30 Verified Answers

Related Documents

Related Questions