Rules of Inference (Propositional Logic for Linguists 14)