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