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