1 / 17

Iff Rules

Iff Rules. <> In. <> Out. A > B B > A A <> B. A <> B A <> B A > B B > A. A <> B abbreviates (A > B) & (B > A). The <> rules are a lot like the & Rules. Iff Rules. The strategies for using the < Rules are like & strategies as well. 4) A <> B.

daxia
Download Presentation

Iff Rules

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. Iff Rules <>In <>Out A>B B>A A<>B A<>BA<>B A>B B>A A<>B abbreviates (A>B) & (B>A) The <> rules are a lot like the & Rules

  2. Iff Rules The strategies for using the < Rules are like & strategies as well. 4) A<>B To use a sentence with the form: A<>B ...

  3. Iff Rules The strategies for using the < Rules are like & strategies as well. 4) A<>B 5) A>B 4 <>O 6) B>A 4 <>O To use a sentence with the form: A<>B Apply <>Out to obtain A>B and B>A.

  4. Iff Rules The strategies for using the < Rules are like & strategies as well. A<>B GOAL If your GOAL has the form: A<>B ...

  5. Iff Rules The strategies for using the < Rules are like & strategies as well. A>B GOAL B>A GOAL A<>B <>In If your GOAL has the form: A<>B ... Set A>B and B>A as new GOALs and use <>In to obtain A<>B.

  6. Iff Rules 1 1.M<>G A 2 2. G<>F A 1,2 M<>F GOAL Use <>Out .

  7. Iff Rules 1 1.M<>G A 2 2. G<>F A 1 3. M>G 1 <>O 1 4. G>M 1 <>O 2 5. G>F 2 <>O 2 6. F>G 2 <>O 1,2 M<>F GOAL Use the <>In Strategy

  8. Iff Rules 1 1.M<>G A 2 2. G<>F A 1 3. M>G 1 <>O 1 4. G>M 1 <>O 2 5. G>F 2 <>O 2 6. F>G 2 <>O M>F GOAL F>M GOAL 1,2 M<>F ? ,? <>I

  9. Iff Rules 1 1.M<>G A 2 2. G<>F A 1 3. M>G 1 <>O 1 4. G>M 1 <>O 2 5. G>F 2 <>O 2 6. F>G 2 <>O M>F GOAL F>M GOAL 1,2 M<>F ? ,? <>I Use the >In strategy on M>F.

  10. Iff Rules 1 1.M<>G A 2 2. G<>F A 1 3. M>G 1 <>O 1 4. G>M 1 <>O 2 5. G>F 2 <>O 2 6. F>G 2 <>O 7 7. M PA F GOAL M>F 7-? >I F>M GOAL 1,2 M<>F ? ,? <>I

  11. Iff Rules 1 1.M<>G A 2 2. G<>F A 1 3. M>G 1 <>O 1 4. G>M 1 <>O 2 5. G>F 2 <>O 2 6. F>G 2 <>O 7 7. M PA F GOAL M>F 7-? >I F>M GOAL 1,2 M<>F ? ,? <>I Use the >Out Strategy

  12. Iff Rules 1 1.M<>G A 2 2. G<>F A 1 3. M>G 1 <>O 1 4. G>M 1 <>O 2 5. G>F 2 <>O 2 6. F>G 2 <>O 7 7. M PA G GOAL F 5,? >O M>F 7-? >I F>M GOAL 1,2 M<>F ? ,? <>I Use the >Out Strategy

  13. Iff Rules 1 1.M<>G A 2 2. G<>F A 1 3. M>G 1 <>O 1 4. G>M 1 <>O 2 5. G>F 2 <>O 2 6. F>G 2 <>O 7 7. M PA G F 5,? >O M>F 7-? >I F>M GOAL 1,2 M<>F ? ,? <>I

  14. Iff Rules 1 1.M<>G A 2 2. G<>F A 1 3. M>G 1 <>O 1 4. G>M 1 <>O 2 5. G>F 2 <>O 2 6. F>G 2 <>O 7 7. M PA G 3,7 >O F 5,? >O M>F 7-? >I F>M GOAL 1,2 M<>F ? ,? <>I Use the >Out Strategy

  15. Iff Rules 1 1.M<>G A 2 2. G<>F A 1 3. M>G 1 <>O 1 4. G>M 1 <>O 2 5. G>F 2 <>O 2 6. F>G 2 <>O 7 7. M PA 1,7 8. G 3,7 >O 1,2,7 9. F 5,8 >O 1,2 10. M>F 7-9 >I F>M GOAL 1,2 M<>F ? ,? <>I Use the >In strategy on F>M.

  16. Iff Rules 1 1.M<>G A 2 2. G<>F A 1 3. M>G 1 <>O 1 4. G>M 1 <>O 2 5. G>F 2 <>O 2 6. F>G 2 <>O 7 7. M PA 1,7 8. G 3,7 >O 1,2,7 9. F 5,8 >O 1,2 10. M>F 7-9 >I 11 11. F PA M GOAL F>M 11-? >I 1,2 M<>F ? ,? <>I

  17. Iff Rules 1 1.M<>G A 2 2. G<>F A 1 3. M>G 1 <>O 1 4. G>M 1 <>O 2 5. G>F 2 <>O 2 6. F>G 2 <>O 7 7. M PA 1,7 8. G 3,7 >O 1,2,7 9. F 5,8 >O 1,2 10. M>F 7-9 >I 11 11. F PA 2,11 12. G 6,11 >O 1,2,11 13. M 4,12 >O 1,2 14. F>M 11-14 >I 1,2 15. M<>F 10,14 <>I For more click here

More Related