S
T
L
P
I
M
U
N
Reason about the truth or falsity of complicated statements using Boolean connectives, quantifiers, and basic operations.
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
Learning Goal: Judging logical equivalence of compound propositions using truth tables
Learning Goal: Rewriting compound propositions using normal forms
Learning Goal: Judging whether a collection of propositions is consistent
Learning Goal: Writing the converse, contrapositive, and inverse of a given conditional statement
Learning Goal: Determining what evidence is required to establish that a quantified statement is true or false
Learning Goal: Evaluating quantified statements about finite and infinite domains