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