170 likes | 311 Vues
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.
E N D
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
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 ...
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.
Iff Rules The strategies for using the < Rules are like & strategies as well. A<>B GOAL If your GOAL has the form: A<>B ...
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.
Iff Rules 1 1.M<>G A 2 2. G<>F A 1,2 M<>F GOAL Use <>Out .
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
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
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.
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
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
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
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
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
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.
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
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