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

Home | Index of Syntax Items

Last modified: June 26, 2000