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