CONSTANTS : EDOP

CONSTANTS is an editor command.
Lists all the logical constants used in a gwff, apart
from the primitive constants AND FALSEHOOD IMPLIES NOT OR TRUTH.
 
The command format for CONSTANTS is:

<Ed>CONSTANTS <<GWFF>>
<<GWFF>>

TPS documentation homepage


© 1988-99, Carnegie Mellon University.

TPS homepage