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