Assertion: existential quantifier | /r/DefinedAs | abbreviation
Facets:
Source sentences:
text: For simplicity, I assume the context of classical first-order logic, where the existential quantifier $\exists$ can be defined as an abbreviation for