Propositional and predicate logic

Learning Goal: Evaluating compound propositions

PDF LaTeX Raw HTML

Learning Goal: Judging logical equivalence of compound propositions using symbolic manipulation with known equivalences, including DeMorgan's Law

PDF LaTeX Raw HTML

Learning Goal: Judging logical equivalence of compound propositions using truth tables

PDF LaTeX Raw HTML

Learning Goal: Rewriting compound propositions using normal forms

PDF LaTeX Raw HTML

Learning Goal: Judging whether a collection of propositions is consistent

PDF LaTeX Raw HTML

Learning Goal: Writing the converse, contrapositive, and inverse of a given conditional statement

PDF LaTeX Raw HTML

Learning Goal: Determining what evidence is required to establish that a quantified statement is true or false

PDF LaTeX Raw HTML

Learning Goal: Evaluating quantified statements about finite and infinite domains

PDF LaTeX Raw HTML