Symbols:Abbreviations/E

EE
Context: Predicate Logic.


 * Rule of Existential Elimination, which is another term for the Rule of Existential Instantiation (EI).

EG
Context: Predicate Logic.


 * Rule of Existential Generalisation.

EI
Context: Predicate Logic.


 * Rule of Existential Instantiation.

Alternatively, Rule of Existential Introduction, which is another term for the Rule of Existential Generalisation (EG). Beware.