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