Lecture
This lecture covers propositional logic, including statements, variables, logical connectives, implications, and important equivalences. It also discusses tautology, contradiction, contingency, and logical equivalence, with examples and facts about converting propositions to DNF or CNF.