Iff Rules The rules are a lot like the & Rules A B A > B B > A A > B B > A A B Out In A B...
-
Upload
lester-burke -
Category
Documents
-
view
245 -
download
10
Transcript of Iff Rules The rules are a lot like the & Rules A B A > B B > A A > B B > A A B Out In A B...
Iff Rules
The <> rules are a lot like the & Rules
A<>B A<>BA>B B>A
A>BB>AA<>B
<>Out <>In
A<>Babbreviates
(A>B) & (B>A)
Iff Rules
To use a sentence with the form: A<>B ...
4) A<>B
The strategies for using the < Rulesare like & strategies as well.
Iff Rules
To use a sentence with the form: A<>BApply <>Out to obtain A>B and B>A.
4) A<>B5) A>B 4 <>O6) B>A 4 <>O
The strategies for using the < Rulesare like & strategies as well.
Iff Rules
If your GOAL has the form: A<>B ...
A<>B GOAL
The strategies for using the < Rulesare like & strategies as well.
Iff Rules
If your GOAL has the form: A<>B ...Set A>B and B>A as new GOALs
and use <>In to obtain A<>B.
A>B GOAL
B>A GOAL
A<>B <>In
The strategies for using the < Rulesare like & strategies as well.
Iff Rules1 1. M<>G A2 2. G<>F A 1 3. M>G 1 <>O1 4. G>M 1 <>O2 5. G>F 2 <>O2 6. F>G 2 <>O
1,2 M<>F GOAL
Use the <>In Strategy
Iff Rules1 1. M<>G A2 2. G<>F A 1 3. M>G 1 <>O1 4. G>M 1 <>O2 5. G>F 2 <>O2 6. F>G 2 <>O
M>F GOAL
F>M GOAL 1,2 M<>F ? ,? <>I
Iff Rules1 1. M<>G A2 2. G<>F A 1 3. M>G 1 <>O1 4. G>M 1 <>O2 5. G>F 2 <>O2 6. F>G 2 <>O
M>F GOAL
F>M GOAL 1,2 M<>F ? ,? <>I
Use the >In strategy on M>F.
Iff Rules1 1. M<>G A2 2. G<>F A 1 3. M>G 1 <>O1 4. G>M 1 <>O2 5. G>F 2 <>O2 6. F>G 2 <>O 7 7. M PA
F GOAL M>F 7-? >I
F>M GOAL 1,2 M<>F ? ,? <>I
Iff Rules1 1. M<>G A2 2. G<>F A 1 3. M>G 1 <>O1 4. G>M 1 <>O2 5. G>F 2 <>O2 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 Rules1 1. M<>G A2 2. G<>F A 1 3. M>G 1 <>O1 4. G>M 1 <>O2 5. G>F 2 <>O2 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 Rules1 1. M<>G A2 2. G<>F A 1 3. M>G 1 <>O1 4. G>M 1 <>O2 5. G>F 2 <>O2 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 Rules1 1. M<>G A2 2. G<>F A 1 3. M>G 1 <>O1 4. G>M 1 <>O2 5. G>F 2 <>O2 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 Rules1 1. M<>G A2 2. G<>F A 1 3. M>G 1 <>O1 4. G>M 1 <>O2 5. G>F 2 <>O2 6. F>G 2 <>O 7 7. M PA1,7 8. G 3,7 >O1,2,7 9. F 5,8 >O1,2 10. M>F 7-9 >I
F>M GOAL 1,2 M<>F ? ,? <>I
Use the >In strategy on F>M.
Iff Rules1 1. M<>G A2 2. G<>F A 1 3. M>G 1 <>O1 4. G>M 1 <>O2 5. G>F 2 <>O2 6. F>G 2 <>O 7 7. M PA1,7 8. G 3,7 >O1,2,7 9. F 5,8 >O1,2 10. M>F 7-9 >I11 11. F PA
M GOAL F>M 11-? >I
1,2 M<>F ? ,? <>I
Iff Rules1 1. M<>G A2 2. G<>F A 1 3. M>G 1 <>O1 4. G>M 1 <>O2 5. G>F 2 <>O2 6. F>G 2 <>O 7 7. M PA1,7 8. G 3,7 >O1,2,7 9. F 5,8 >O1,2 10. M>F 7-9 >I11 11. F PA2,11 12. G 6,11 >O1,2,11 13. M 4,12 >O1,2 14. F>M 11-14 >I 1,2 15. M<>F 10,14 <>I
For more click here