Logica
Tools
for
Thought
Fitch
Copy
Load
Save
Library
Objects:
a, b, c
Functions:
f, g
1
p => q
Premise
2
~q
Premise
3
p
Assumption
4
~q
Reiteration
2
5
p => ~q
Implication Introduction
3
4
6
~p
Negation Introduction
1
5
