Help with Existential Elimination

Logical System
bergmann

Existential Elimination (EE)

11/3/07

Existential Elimination