Symbols:Abbreviations/E/EI

From ProofWiki
Jump to navigation Jump to search

Abbreviation: 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.