Quantified Formula Expression
Syntax
Quantified-Formula-Expression
=
for
Qualified-Variables
[
st
Formula-Expression
]
(
holds
Formula-Expression
|
Quantified-Formula-Expression
) |
ex
Qualified-Variables
st
Formula-Expression
.
See also
Formula Expression
Home
|
Index of Syntax Items
Last modified: June 26, 2000