COMPSCI 70 Chapter Notes - Chapter 2: Contraposition, Natural Number

55 views1 pages

Document Summary

Basic notation and facts about proofs proof - a finite sequence of logical deductions (or steps) which establishes the truth of a desired statement logical deductions - simple steps that apply the rules of logic. Proofs use finite means to guarantee the truth of a statement with infinitely many cases. Proofs guarantee that a statement if true for infinitely many inputs. Finite size proofs can be used to prove statements about infinite sets of objects. Normally, in math, people prove implications rather than single statements axioms (postulates) - statements that are accepted without proofs (the starting points of proofs) 2|10 is true because 10/2 = 5 a|b : "a divides b" (a is a factor of b) a|b if and only if there exists an integer q such that. Ex. q defines variable "q" as having a value of 6. Rules of logic: each statement follows from the previous statements.

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