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

1 p => q Premise 2 p => ~q Premise 3 ~p Negation Introduction 1 2