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