uniqueness quantification (Q2122)

From MaRDI portal
Revision as of 15:22, 29 July 2024 by Importer (talk | contribs) (‎Created a new Item)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
logical quantification stating that a statement holds for exactly one object
  • uniqueness
  • unique existential quantification
  • ∃!
Language Label Description Also known as
English
uniqueness quantification
logical quantification stating that a statement holds for exactly one object
  • uniqueness
  • unique existential quantification
  • ∃!

Statements

Identifiers

0 references