|
|
Logica |
Tools for Thought
|
|
1
AX:(p(X) & q(X))
Premise
2
p([c]) & q([c])
Universal Elimination
1
3
p([c])
And Elimination
2
4
q([c])
And Elimination
2
5
AX:p(X)
Universal Introduction
3
6
AX:q(X)
Universal Introduction
4
7
AX:p(X) & AX:q(X)
And Introduction
5
6
|