1 / 7

Strategy Review

Strategy Review. A very difficult problem. 1. -(A > B) A A GOAL. There is nothing to do, so try -Out. Strategy Review. A very difficult problem. 1. -(A > B) A 2. -A PA ?&-? A 2-? - O.

charlesljohnson
Télécharger la présentation

Strategy Review

An Image/Link below is provided (as is) to download presentation Download Policy: Content on the Website is provided to you AS IS for your information and personal use and may not be sold / licensed / shared on other websites without getting consent from its author. Content is provided to you AS IS for your information and personal use only. Download presentation by click this link. While downloading, if for some reason you are not able to download a presentation, the publisher may have deleted the file from their server. During download, if you can't get a presentation, the file might be deleted by the publisher.

E N D

Presentation Transcript

  1. Strategy Review A very difficult problem 1. -(A>B) A A GOAL There is nothing to do, so try -Out.

  2. Strategy Review A very difficult problem 1. -(A>B) A 2. -A PA ?&-? A 2-? -O -(A>B) is available so use it as part of the contradiction.

  3. Strategy Review A very difficult problem 1. -(A>B) A 2. -A PA (A>B)&-(A>B) 1,? &I A 2-? -O To get this contradiction we will need to prove A>B.

  4. Strategy Review A very difficult problem 1. -(A>B) A 2. -A PA A>B GOAL (A>B)&-(A>B) 1,? &I A 2-? -O Since the GOAL is a conditional, use the >In strategy

  5. Strategy Review A very difficult problem 1. -(A>B) A 2. -A PA 3. A PA B GOAL A>B 3-? >I (A>B)&-(A>B) 1,? &I A 2-? -O We are stuck. So use the Negation Strategy

  6. Strategy Review A very difficult problem 1. -(A>B) A 2. -A PA 3. A PA 4. -B PA ?&-? B 4-? -O A>B 3-? >I (A>B)&-(A>B) 1,? &I A 2-? -O What is our contradiction?

  7. Strategy Review A very difficult problem 1. -(A>B) A 2. -A PA 3. A PA 4. -B PA 5. A&-A 3,2 &I 6. B 4-5 -O 7. A>B 3-6 >I 8. (A>B)&-(A>B) 1,7 &I 9. A 2-8 -O For more click here

More Related