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