- a quantifier indicating that the sentential function within its scope is true for at least one value of the variable included in the quantifier.
- a formal device, for which the conventional symbol is ∃, which indicates that the open sentence that follows is true of at least one member of the relevant universe of interpretation, as (∃ x) Fx meaning "something is (an) F," "something Fs," or "there are (some) Fs."
More Definitions
- CON AMORE (noun) Definition, Meaning & Examples
- CADAVERINE (noun) Definition, Meaning & Examples
- WHEEL OF LIFE (noun) Definition, Meaning & Examples
- PROVISIONAL WING OF THE IRISH REPUBLICAN ARMY (noun) Definition, Meaning & Examples
- UUH (noun) Definition, Meaning & Examples
- UNO (noun) Definition, Meaning & Examples