Use language conventions to improve arguments

Learning Goal: Distinguishing between tautologies, contradictions, and contingencies

PDF LaTeX Raw HTML

Learning Goal: Determining whether a given binary relation is symmetric, antisymmetric, reflexive, and/or transitive

PDF LaTeX Raw HTML

Learning Goal: Determining whether a given function is one-to-one, onto, and/or invertible

PDF LaTeX Raw HTML

Learning Goal: Determining whether a given binary relation is an equivalence relation and/or a partial order

PDF LaTeX Raw HTML

Learning Goal: Distinguishing between structural induction, mathematical induction, and strong induction

PDF LaTeX Raw HTML

Learning Goal: Using appropriate signpost words to improve readability of proofs, including 'arbitrary' and 'assume'

PDF LaTeX Raw HTML