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