Introduction to Logic
Tools
for
Thought
 
Hilbert
Undo Copy Paste Load Save Help
Objects  a, b, c
Functions  f, g
Goal  Incomplete






















1 p Premise 2 ~p Premise 3 ~p => (~q => ~p) Implication Creation 4 ~q => ~p Implication Elimination 3 2 5 (~q => ~p) => (p => q) Implication Reversal 6 p => q Implication Elimination 5 4 7 q Implication Elimination 6 1