Formula Expression

Syntax

Formula-Expression   =  
 (   Formula-Expression   )   |  
Atomic-Formula-Expression   |  
Quantified-Formula-Expression   |  
Formula-Expression   &   Formula-Expression   |  
Formula-Expression   or   Formula-Expression   |  
Formula-Expression   implies   Formula-Expression   |  
Formula-Expression   iff   Formula-Expression   |  
not   Formula-Expression   |  
contradiction   |  
thesis   .


See also

Home | Index of Syntax Items

Last modified: June 26, 2000