Ch 2 Logic and Proof