Section 2.1 – An Introduction to Proofs
A proof is a convincing argument that something is true.
A proof starts with things that are agreed on or accepted as true. These are called postulates (or axioms). Then logic is used to reach a conclusion.
Formal Proofs – proofs that follow a prescribed form
5x + 4 = 24 Given
5x = 20 Subtraction Property of Equality
x = 4 Division Property of Equality
Each statement on the left is given justification in the column on the right.
Styles of Proofs