Predicates, quantifiers, free and bound variables, implications, equivalences, inference rules, proof techniques.

- Translate between narrative arguments and predicate logic.
- Identify valid, satisfiable, and unsatisfiable assertions.
- Apply inference rules to solve problems.
- Prove or disprove assertions using predicate logic.