| |
|
Logica |
Tools
for
Thought
|
|
1
EY:AX:p(X,Y)
Premise
2
AX:p(X,d)
Assumption
3
p(c,d)
Universal Elimination
2
4
EY:p(c,Y)
Existential Introduction
3
5
AX:p(X,d) => EY:p(c,Y)
Implication Introduction
2
4
6
AY:(AX:p(X,Y) => EY:p(c,Y))
Universal Introduction
5
7
EY:p(c,Y)
Existential Elimination
1
6
8
AX:EY:p(X,Y)
Universal Introduction
7
|