Logica
Tools
for
Thought
Fitch
Copy
Load
Save
Library
Objects:
a, b, c
Functions:
f, g
1
AX:AY:p(X,Y)
Premise
2
AY:p(c,Y)
Universal Elimination
1
3
p(c,d)
Universal Elimination
2
4
AX:p(X,d)
Universal Introduction
3
5
AY:AX:p(X,Y)
Universal Introduction
4