Symbols:Abbreviations/E/EG

Abbreviation: EG
Context: Predicate Logic.


 * Rule of Existential Generalisation.