Strategy Review Here is a summary of all the strategies given for Chapters 2-5.
When you have A&B as a GOAL &In Strategy A&B GOAL When you have A&B as a GOAL
&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.
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,
&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.
When you have A>B as a GOAL >In Strategy A>B GOAL When you have A>B as a GOAL
>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.
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,
>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.
Negation Strategy A GOAL -A GOAL If you are stuck.
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.
Choosing Contradictions -A PA ?&-? GOAL A -O Avoid choosing A&-A as your contradiction.
Choosing Contradictions -A PA A&-A BAD IDEA A -O Avoid choosing A&-A as your contradiction.
Choosing Contradictions -(B&C) -A PA ?&-? GOAL A -O If a complex negation sentence is available...
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