Sentential Logic
There is, I think, a gap between what many students learn in their first course in formal logic, and what they are expected to know for their second.