Exam 4 Review Information

Exam 4 is on Friday (4/18) in class. It will be closed book and notes, except you will be allowed to bring your purple sheet of Logic Rules and one other sheet of paper (8.5" x 11" SINGLE side) with notes.

Below are the highlights of each section:

Section 1.2

Topics:

• propositional wffs
• propositional logic
• valid argument
• hypotheses
• conclusion
• proof sequence
• equivalence rules
• inference rules,

Skills:

• Apply derivation rules for propositional logic to construct formal proofs of arguments
• Use propositional logic to prove the validity of a verbal argument.

Section 2.1

Topics: Exhaustive proof, Inductive reasoning, deductive reasoning, contrapositive, counterexample

Skills:

• Be able to find a counterexamples to prove something is not true
• Be able to construct an exhaustive proof
• Be able to construct a direct proof
• Be able to perform a proof by contraposition
• Be able to perform a proof by contradiction

Section 2.2

Topics: First Principle of Mathematical Induction

Skills:

• Be able to perform a proof using the First Principle of Mathematical Induction