Go backward to Closed Formulas Go up to Top Go forward to Quantifier Patterns

Abbreviations

• forall x: forall y: A

  forall x, y: A

• exists x: exists y: A

  exists x, y: A

Multiple quantifiers of the same type can be merged.