Assertions and propositions, connectives, tautologies, contradictions, implications, equivalences, proofs.

- Use truth tables and logical operators to solve problems.
- Translate between narrative arguments and propositional logic.
- Prove logical equivalency, contingency, tautology, and contradictions.