A graduate-level introduction to propositional logic, focusing on the rigorous translation of natural language rhetoric into symbolic notation. Students build from atomic propositions to complex well-formed formulas (WFFs), learning to identify logical structure within dense academic and legal texts.