Logica Tools
for
Thought 		 
Hilbert
Copy Load Save Library
Objects  a, b, c
Functions  f, g

1 p => q Premise 2 ~q Premise 3 ~q => ~p Contrapositive 1 4 ~p Implication Elimination 3 2