2. LOGIC LAWS

3. Law of Detachment p q p _______ q

4. p q ~q _______ ~p Modus Tollens

5. p qp q ~p~q____ q P Law of disjunctive inference

6. Drawing Conclusions using the laws Given the three statements, what conclusion can be found? If Rachel joins baseball then Rachel likes to sing Rachel will join baseball or Rachel will play basketball Rachel does not like to sing

7. Rewrite the sentences into symbols: B S B A ~S Try to find two statements that form a rule B S ~S You can use Modus tollens to conclude ~B You then can use ~B to form a rule with B A You can use the law of disjunctive inference to conclude A

8. Try: Given: If Billy misses the Yankees game then the red sox win If the red sox win then Billy is not happy Billy is happy Prove: Billy does not miss the Yankee game Y: Billy misses the Yankee game W: Red sox win H: Billy is happy

9. Y: Billy misses the Yankee game W: Red sox win H: Billy is happy Given: Y W W ~H H Using Modus tollens W ~H H Conclude ~W Therefore using Modus tollens Y W ~W Concludes ~Y So Billy does not miss the Yankee game

10. HOMEWORK Pg. 79 4-18 even Pg.83 3-6 Pg. 84-85 11, 12, 15