230 likes | 253 Views
Strategy Review. Here is a summary of all the strategic advice given for the 11 rule system P. &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
E N D
Strategy Review Here is a summary of all the strategic advice given for the 11 rule system P.
&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.
&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.
>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.
>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.
<>In Strategy A<>B GOAL If your GOAL has the form: A<>B ...
<>In Strategy 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.
<>Out Strategy 4) A<>B To use a sentence with the form: A<>B ...
<>Out Strategy 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.
vIn Strategy AvB GOAL When your goal is AvB ...
vIn Strategy AvB GOAL When your goal is AvB ... look to see whether you can EASILY prove A or B and apply vIn to get AvB. But otherwise, TRY SOME OTHER STRATEGY
vOut Strategy A v B G A v B G GOAL Whenever AvB is available, and G is your goal ...
vOut Strategy A v B G A v B A>G GOAL B>G GOAL G ?,?,? vO Whenever AvB is available, and G is your goal ... calculate the missing conditionals (namely A>G and B>G) and make them new goals. When these conditionals are proven, your old goal will follow by vOut.
Negation Strategy A GOAL -A GOAL If you are stuck.
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