A high school ELA sequence on formal logic, teaching students to translate natural language into symbolic notation and evaluate logical consistency through truth tables. Students progress from basic connectives to analyzing complex rhetorical arguments for tautologies and contradictions.