Last updated Unknown

Status: Tags: Links: Quantifiers

Existential Quantifiers

• Abbreviates constructions like
  • For some
  • For at least one
  • There is
  • There exists
  • ex) “There is a grey car”
• A predicate is true for at least one value
• Notation: Backwards E

Backlinks

1

list from Existential Quantifiers AND !outgoing(Existential Quantifiers)

References:

Created:: 2021-09-23 10:19