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