COMPSCI 70 Chapter Notes - Chapter 2: Contraposition, Natural Number
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.