CS111: Chapter 1

What is a Proof?

Proofs = used to certify that software and hardware will always behave correctly
- a method of establishing truth
- a mathematical proof of a proposition (theory) is a chain of logical deductions leading to the proposition from a base set of axioms (princ

1.1 Propositions

Proposition = a statement (communication) that is either true or false
Prime = an integer greater than 1 that is not divisible by any other integer greater than 1, other than itself (i.e. 2, 3, 5, 7, 11, 13, 17, 19, 23, 27, 29, 31, 34, etc.)