| |
|
Logica |
Tools
for
Thought
|
|
1
p => r
Premise
2
q => ~r
Premise
3
~~q => q
Negation Elimination Schema
4
~~q => (q => ~r)
Implication Creation
2
5
(~~q => q) => (~~q => ~r)
Implication Distribution
4
6
~~q => ~r
Implication Elimination
5
3
7
r => ~q
Implication Reversal
6
8
p => (r => ~q)
Implication Creation
7
9
(p => r) => (p => ~q)
Implication Distribution
8
10
p => ~q
Implication Elimination
9
1
|