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






















1 q => r Premise 2 (q => r) => (p => (q => r)) Implication Creation 3 p => (q => r) Implication Elimination 2 1 4 (p => (q => r)) => ((p => q) => (p => r)) Implication Distribution 5 (p => q) => (p => r) Implication Elimination 4 3