Logica
Tools
for
Thought
Hilbert
Copy
Load
Save
Library
Objects
a, b, c
Functions
f, g
1
p => q
Premise
2
q => r
Premise
3
p => (q => r)
Implication Creation
2
4
(p => q) => (p => r)
Implication Distribution
3
5
p => r
Implication Elimination
4
1