1 / 17

Combining > with - Strategies

Combining > with - Strategies. 1 1. -C > -P A [1] 1 P > C GOAL [2]. Since the GOAL has the form A > B, use the > In Strategy. Combining > with - Strategies. 1 1. -C > -P A [1] 2 2. P PA [3] C GOAL [4] 1 P > C 2-? > I [2].

devin
Download Presentation

Combining > with - Strategies

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. Combining > with - Strategies 1 1. -C>-P A [1] 1 P>C GOAL [2] Since the GOAL has the form A>B, use the >In Strategy

  2. Combining > with - Strategies 1 1. -C>-P A [1] 2 2. P PA [3] C GOAL [4] 1 P>C 2-? >I [2] Since the GOAL has the form A>B, use the >In Strategy

  3. Combining > with - Strategies 1 1. -C>-P A [1] 2 2. P PA [3] C GOAL [4] 1 P>C 2-? >I [2] Since nothing can be done, try the -Out Strategy

  4. Combining > with - Strategies 1 1. -C>-P A [1] 2 2. P PA [3] 3 3. -C PA [5] ?&-? GOAL C 3-? -O [4] 1 P>C 2-? >I [2] What should the Contradiction be?

  5. Combining > with - Strategies 1 1. -C>-P A [1] 2 2. P PA [3] 3 3. -C PA [5] ?&-? GOAL C 3-? -O [4] 1 P>C 2-? >I [2] What should the Contradiction be? DON’T CHOOSE C&-C!

  6. Combining > with - Strategies 1 1. -C>-P A [1] 2 2. P PA [3] 3 3. -C PA [5] C ????? C&-C GOAL C 3-? -O [4] 1 P>C 2-? >I [2] What should the Contradiction be? DON’T CHOOSE C&-C!

  7. Combining > with - Strategies 1 1. -C>-P A [1] 2 2. P PA [3] 3 3. -C PA [5] P&-P GOAL [6] C 3-? -O [4] 1 P>C 2-? >I [2] Choose “new” material for a contradiction.

  8. Combining > with - Strategies 1 1. -C>-P A [1] 2 2. P PA [3] 3 3. -C PA [5] 4. -P 1,3 >O [7] P&-P GOAL [6] C 3-? -O [4] 1 P>C 2-? >I [2]

  9. Combining > with - Strategies 1 1. -C>-P A [1] 2 2. P PA [3] 3 3. -C PA [5] 1,3 4. -P 1,3 >O [7] 1,2,3 5. P&-P 2,4 &I [6] 1,2 6. C 3-5 -O [4] 1 7. P>C 2-6 >I [2]

  10. Combining > with - Strategies See p. 116 of your book. 1 1. -A>-P A [1] 2 2. A>I A [2] 1,2 P>I GOAL [2] The goal has the form A>B, so use the >In strategy

  11. Combining > with - Strategies 1 1. -A>-P A [1] 2 2. A>I A [2] 3 3. P PA [3] I GOAL [4] 1,2 P>I 3-? >I [2] How can we get I?

  12. Combining > with - Strategies 1 1. -A>-P A [1] 2 2. A>I A [2] 3 3. P PA [3] I GOAL [4] 1,2 P>I 3-? >I [2] The GOAL I is to the right of an arrow in line 2!

  13. Combining > with - Strategies 1 1. -A>-P A [1] 2 2. A>I A [2] 3 3. P PA [3] A GOAL [5] I 2,? >O [4] 1,2 P>I 3-? >I [2] The GOAL I is to the right of an arrow in line 2! So set the antecedent A as a new GOAL.

  14. Combining > with - Strategies 1 1. -A>-P A [1] 2 2. A>I A [2] 3 3. P PA [3] A GOAL [5] I 2,? >O [4] 1,2 P>I 3-? >I [2] How can we get A? Nothing can be done, so use -Out.

  15. Combining > with - Strategies 1 1. -A>-P A [1] 2 2. A>I A [2] 3 3. P PA [3] 4 4. -A PA [6] ?&-? GOAL [7] A 4-? -O [5] I 2,? >O [4] 1,2 P>I 3-? >I [2] What contradiction should we try for?

  16. Combining > with - Strategies 1 1. -A>-P A [1] 2 2. A>I A [2] 3 3. P PA [3] 4 4. -A PA [6] P&-P 3,? &I [7] A 4-? -O [5] I 2,? >O [4] 1,2 P>I 3-? >I [2]

  17. Combining > with - Strategies 1 1. -A>-P A [1] 2 2. A>I A [2] 3 3. P PA [3] 4 4. -A PA [6] 1,4 5. -P 1,4 >O [8] 1,3,4 6. P&-P 3,5 &I [7] 1,3 7. A 4-6 -O [5] 1,2,3 8. I 2,7 >O [4] 1,2 7. P>I 3-8 >I [2] For more click here

More Related