Symbols:Abbreviations/E/EE

From ProofWiki
Jump to navigation Jump to search

Abbreviation: EE

Context: Predicate Logic.

Rule of Existential Elimination, which is another term for the Rule of Existential Instantiation ($\text {EI}$).
Retrieved from "https://proofwiki.org/w/index.php?title=Symbols:Abbreviations/E/EE&oldid=591154"