The text is available on Latte under “Files”. I’d like you to have read Chapter 1 by Tuesday September 3. I will cover proof theory for propositional logic and semantics for PL tomorrow. I will have the problem set ready for distribution tomorrow as well.
-James