Skeleton Item

Syntax

Skeleton-Item   =   Generalization   |   Assumption   |   Conclusion   |   Exemplification   .
 
Generalization   =   let   Qualified-Variables   [   such   Conditions   ]   ;   .
 
Assumption   =  
 Single-Assumption   |   Collective-Assumption   |   Existential-Assumption   .
 
Single-Assumption   =   assume   Proposition   ;   .
 
Collective-Assumption   =   assume   Conditions   ;   .
 
Existential-Assumption   =  
 given   Qualified-Variables   [   such   Conditions   ]   ;   .


See also

Home | Index of Syntax Items

Last modified: June 26, 2000