| |
|
Logica |
Tools
for
Thought
|
|
1
p => (q => r)
Premise
2
p => q
Assumption
3
p
Assumption
4
q
Implication Elimination
2
3
5
q => r
Implication Elimination
1
3
6
r
Implication Elimination
5
4
7
p => r
Implication Introduction
3
6
8
(p => q) => (p => r)
Implication Introduction
2
7
|