Help with Existential Generalization

Logical System
hausman

Existential Generalization (EG)

2/5/08

Existential Generalization