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.
Author:
Wolfgang Schreiner
Last Modification: October 6, 1999