Download presentation

Presentation is loading. Please wait.

Published byXavier Daugherty Modified over 3 years ago

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

Similar presentations

OK

1 Section 1.5 Rules of Inference. 2 Definitions Theorem: a statement that can be shown to be true Proof: demonstration of truth of theorem –consists of.

1 Section 1.5 Rules of Inference. 2 Definitions Theorem: a statement that can be shown to be true Proof: demonstration of truth of theorem –consists of.

© 2017 SlidePlayer.com Inc.

All rights reserved.

Ads by Google