| |
|
Logica |
Tools
for
Thought
|
|
1
AX:(p(X) => q(X))
Premise
2
AX:p(X)
Assumption
3
p(c)
Universal Elimination
2
4
p(c) => q(c)
Universal Elimination
1
5
q(c)
Implication Elimination
4
3
6
AX:q(X)
Universal Introduction
5
7
AX:p(X) => AX:q(X)
Implication Introduction
2
6
|