1. Strategy Review Here is a summary of all the
strategies given for Chapters 2-5.

2. When you have A&B as a GOAL
&In Strategy
A&B GOAL
When you have A&B as a GOAL

3. &In Strategy A GOAL B GOAL A&B &I When you have A&B as a GOAL
Try to prove A and B separately.
Then paste them together with &In.

4. If you have a sentence with the shape A&B,
&Out Strategy
4) A&B
If you have a sentence with the shape A&B,

5. &Out Strategy 4) A&B 5) A 4 &O 6) B 4 &O
If you have a sentence with the shape A&B,
then use &Out to obtain A and B.

6. When you have A>B as a GOAL
>In Strategy
A>B GOAL
When you have A>B as a GOAL

7. >In Strategy A PA : B GOAL A>B >I
When you have A>B as a GOAL
Make A a PA and try to prove B.
When B is proven, A>B will follow from >In.

8. When your GOAL G is to the right of an >
>Out Strategy
A>G
G GOAL
When your GOAL G is to the right of an >
in an available line,

9. >Out Strategy A>G A GOAL G >O
When your GOAL G is to the right of an >
in an available line,
Make the antecedent A of that line a new GOAL.
When A is proven, G will follow from >Out.

10. Negation Strategy
A GOAL A GOAL
If you are stuck.

11. Set the opposite of your GOAL as a PA, and derive a contradiction.
Negation Strategy
-A PA :
?&-?
A PA :
?&-?
A O A I
If you are stuck.
Set the opposite of your GOAL as a PA,
and derive a contradiction.

12. Choosing Contradictions
-A PA
?&-? GOAL
A O
Avoid choosing A&-A as your contradiction.

13. Choosing Contradictions
-A PA
A&-A BAD IDEA
A O
Avoid choosing A&-A as your contradiction.

14. Choosing Contradictions
-(B&C)
-A PA
?&-? GOAL
A O
If a complex negation sentence is available...

15. Choosing Contradictions
-(B&C)
-A PA
(B&C)&-(B&C) GOOD IDEA
A O
If a complex negation sentence is available...
it is a good idea to use it as part of a contradiction.
For more click here