Back to Notations

for Universal Quantification

A logical statement asserting that a property holds for all elements in a domain

Syntax Forms

Typst $forall x. P(x)$
LaTeX \forall x. P(x)

Semantic Information

Also Known As
  • • for all
  • • universal quantifier
  • • generalization
Categories
logic quantifiers first-order logic

Academic Usage

Introduction to Set Theory

Karel Hrbacek, Thomas Jech • 1999

Context: First-order logic introduction

Referenced on page 120

Primary Definition