Saturday, November 02, 2013
Universal Elimination
Is this a correct single step inference in the Fitch system for Relational Logic ?
∀x.∀y.(p(x)∧q(y))∀y.(p(y)∧q(y)) |
Is this a correct single step inference in the Fitch system for Relational Logic ?
∀x.∀y.(p(x)∧q(y))∀y.(p(y)∧q(y)) |