Go backward to Operational InterpretationGo up to TopGo forward to Operational Interpretation |

(existsx:A)

- Variable
`x`bound by existential quantifier**exists**. - Other syntactic forms:
**exists**_{x}`A`; \/_{x}`A`;- "there exists
`x`with`A`"; "there is some`x`with`A`"; "some`x`has`A`"; "`A`, for some`x`"; `exists(`

.`x`:`A`)

- Semantics: (
**exists**`x`:`A`) is true iff`A`is true for*some*value of`x`.`A`is true in some extension of the given assignment where`x`is mapped to a domain value.

Author: Wolfgang Schreiner

Last Modification: October 6, 1999