1 / 12

Negation Rule Strategies

Negation Rule Strategies. 1 1. B>K A 2 2. -K A 1,2 -B GOAL. Negation Rule Strategies. 1 1. B>K A 2 2. -K A 1,2 -B GOAL. I’m stuck, So use Indirect Proof. Assume the opposite of my goal, and derive a contradiction.

aurek
Download Presentation

Negation Rule 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. Negation Rule Strategies 1 1. B>K A 2 2. -K A 1,2 -B GOAL

  2. Negation Rule Strategies 1 1. B>K A 2 2. -K A 1,2 -B GOAL I’m stuck, So use Indirect Proof. Assume the opposite of my goal, and derive a contradiction.

  3. Negation Rule Strategies 1 1. B>K A 2 2. -K A 3 3. B PA ?&-? (Contradiction) 1,2 -B 3-? -I I’m stuck, So use Indirect Proof. Assume the opposite of my goal, and derive a contradiction.

  4. Negation Rule Strategies 1 1. B>K A 2 2. -K A 3 3. B PA 1,3 4. K 1,3 >O 1,2,3 5. K&-K 4,2 &I 1,2 6. -B 3-5 -I

  5. Negation Rule Strategies 1 1. -G>-S A 2 2. S A 1,2 G GOAL

  6. Negation Rule Strategies 1 1. -G>-S A 2 2. S A 1,2 G GOAL If you are stuck, use Indirect Proof. Assume the opposite of your goal, and derive a contradiction.

  7. Negation Rule Strategies 1 1. -G>-S A 2 2. S A 3 3. -G PA ?&-? (Contradiction) 1,2 G 3-? -O If you are stuck, use Indirect Proof. Assume the opposite of your goal, and derive a contradiction.

  8. Negation Rule Strategies 1 1. -G>-S A 2 2. S A 3 3. -G PA 1,3 4. -S 1,3 >O 1,2,3 5. S&-S 4,2 &I 1,2 6. G 3-5 -O

  9. Negation Rule Strategies 1 1. -(J&S) A 2 2. S A 1,2 -J GOAL Contradictions may be complex statements.

  10. Negation Rule Strategies 1 1. -(J&S) A 2 2. S A 3 3. J PA ?&-? 1,2 -J 3-? -I Contradictions may be complex statements.

  11. Negation Rule Strategies 1 1. -(J&S) A 2 2. S A 3 3. J PA (J&S)&-(J&S) GOAL 1,2 -J 3-? -I Contradictions may be complex statements.

  12. Negation Rule Strategies 1 1. -(J&S) A 2 2. S A 3 3. J PA 2,3 4. J&S 2,3 &I 1,2,3 5. (J&S)&-(J&S) 4,1 &I 1,2 6. -J 3-5 -I Contradictions may be complex statements. For more click here

More Related