Thursday 9/12 Truth Tropic Language III Readings Notes The Propositional Calculus (from last time) PC Entailments and Theorems (pdf, from last time) PC Translations(pdf, from last time) Synopsis