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

1 q => r Premise 2 p => q Assumption 3 p Assumption 4 q Implication Elimination 2 3 5 r Implication Elimination 1 4 6 p => r Implication Introduction 3 5 7 (p => q) => (p => r) Implication Introduction 2 6