Symbols:Abbreviations/E/EE

Abbreviation: EE
Context: Predicate Logic.


 * Rule of Existential Elimination, which is another term for the Rule of Existential Instantiation ($\text {EI}$).