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,2 M<>F GOAL

Use <>Out .

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