| |
|
Logica |
Tools
for
Thought
|
|
1
p
Premise
2
~p
Premise
3
~q
Assumption
4
p
Reiteration
1
5
~q => p
Implication Introduction
3
4
6
~q
Assumption
7
~p
Reiteration
2
8
~q => ~p
Implication Introduction
6
7
9
~~q
Negation Introduction
5
8
10
q
Negation Elimination
9
|