universal quantifier

Fetched 2026-10-26 (cache).

Synonyms: universal quantifiers

Antonyms: universal quantifiers

Related words from Datamuse; suggestions, not definitions.

Noun

1. {{lb|en|logic}} The [[operator]], represented by the symbol [[∀]], used in [[predicate calculus]] to indicate that a [[predicate]] is true for all [[member]]s of a specified [[set]]. Verbal equivalents include "for each" and "for every".

Source: Wiktionary · CC BY-SA 4.0 (Wiktionary dump) · cached copy, not a rewrite.