Saturday, November 02, 2013
Universal Elimination
Is this a correct single step inference in the Fitch system for Relational Logic ?
| \[ \begin{aligned} \frac{\forall x . \forall y . (p(x) \wedge q(y))}{\forall y.(p(y) \wedge q(y))} \end{aligned} \] |
Is this a correct single step inference in the Fitch system for Relational Logic ?
| \[ \begin{aligned} \frac{\forall x . \forall y . (p(x) \wedge q(y))}{\forall y.(p(y) \wedge q(y))} \end{aligned} \] |