Help with Existential Instantiation

Logical System

Existential Instantiation (EI)

2/5/08

Existential Instantiation