Symbols:Abbreviations/E/EI

Abbreviation: EI
Context: Predicate Logic.


 * Rule of Existential Instantiation.

Alternatively, Rule of Existential Introduction, which is another term for the Rule of Existential Generalisation ($\text {EG}$). Beware.