Methods of proof
Separate claims from assumptions and connect reasons using an appropriate proof method.
Meaning
A proof shows that a conclusion must follow from specified assumptions, definitions, and established facts. Direct proof, contrapositive, contradiction, and proof by cases are different ways to reach a conclusion.
Example
Practice for this concept
Scope and references
Topics
Direct proof, proof by contrapositive, contradiction, proof by cases
Learning goal
Separate claims from assumptions and connect reasons using an appropriate proof method.
Helpful background
Review assumptions, conclusions, and connections between statements.
Methods of proof
These choice exercises use specified finite sets, conditions, or proof steps. They do not establish constructing new counterexamples or proofs, or mastery of the whole logic area.