Logica
Tools
for
Thought
Fitch
Copy
Load
Save
Library
Objects:
a, b, c
Functions:
f, g
1
p => q
Premise
2
q => r
Assumption
3
p
Assumption
4
q
Implication Elimination
1
3
5
r
Implication Elimination
2
4
6
p => r
Implication Introduction
3
5
7
(q => r) => (p => r)
Implication Introduction
2
6
