Symbols:Abbreviations/E/EI
< Symbols:Abbreviations | E
Jump to navigation
Jump to search
Abbreviation: EI
Context: Predicate Logic.
Alternatively, Rule of Existential Introduction, which is another term for the Rule of Existential Generalisation ($\text {EG}$). Beware.