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

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