1. Negation Rule Strategies
B>K A
K A
1, B GOAL

2. Negation Rule Strategies
B>K A
K A
1, B GOAL
I’m stuck, So use Indirect Proof.
Assume the opposite of my goal,
and derive a contradiction.

3. Negation Rule Strategies
B>K A
K A
B PA
?&-? (Contradiction)
1, B 3-? -I
I’m stuck, So use Indirect Proof.
Assume the opposite of my goal,
and derive a contradiction.

4. Negation Rule Strategies
B>K A
K A
B PA
1,3 4. K ,3 >O
1,2, K&-K ,2 &I
1, B 3-5 -I

5. Negation Rule Strategies
G>-S A
S A
1, G GOAL

6. Negation Rule Strategies
G>-S A
S A
1, G GOAL
If you are stuck, use Indirect Proof.
Assume the opposite of your goal,
and derive a contradiction.

7. Negation Rule Strategies
G>-S A
S A
G PA
?&-? (Contradiction)
1, G 3-? -O
If you are stuck, use Indirect Proof.
Assume the opposite of your goal,
and derive a contradiction.

8. Negation Rule Strategies
G>-S A
S A
G PA
1, S ,3 >O
1,2, S&-S ,2 &I
1,2 6. G 3-5 -O

9. Negation Rule Strategies
(J&S) A
S A
1, J GOAL
Contradictions may be complex statements.

10. Negation Rule Strategies
(J&S) A
S A
J PA
?&-?
1, J 3-? -I
Contradictions may be complex statements.

11. Negation Rule Strategies
(J&S) A
S A
J PA
(J&S)&-(J&S) GOAL
1, J 3-? -I
Contradictions may be complex statements.

12. Negation Rule Strategies
(J&S) A
S A
J PA
2,3 4. J&S ,3 &I
1,2, (J&S)&-(J&S) ,1 &I
1,2 6. -J 3-5 -I
Contradictions may be complex statements.
For more click here