Language Lecture 4: The semantics of propositional logic October 1, 2015Logic for CS, Shai Ben-David, U Waterloo Fall 20151 Comment on Lecture 4: The semantics of propositional logic