universal quantification (Q2581)

From MaRDI portal
Revision as of 15:35, 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 all objects
  • for every
  • for all
  • given any
  • for any
  • any
Language Label Description Also known as
English
universal quantification
logical quantification stating that a statement holds for all objects
  • for every
  • for all
  • given any
  • for any
  • any

Statements

Identifiers

0 references