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