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