Propositional logic is a system for reasoning about propositions - statements that are either true or false - and how they relate to one another. It will form the backbone of first-order logic, which we'll use to formalize definitions going forward.
This lecture references the Truth Table Tool, which you can use to create truth tables for propositional formulas.
Links
Lecture Recording
The complete archive of this quarter's lecture recordings is available on Canvas.