CMRG* : EDOP

CMRG* is an editor command.
Recursively delete the truth constants in a wff:
A and TRUTH, TRUTH and A --> A
A and FALSEHOOD, FALSEHOOD and A --> FALSEHOOD
A or TRUTH, TRUTH or A --> TRUTH
A or FALSEHOOD, FALSEHOOD or A --> A
A implies TRUTH --> TRUTH
TRUTH implies A --> A
A implies FALSEHOOD --> not A
FALSEHOOD implies A --> TRUTH
A equiv TRUTH, TRUTH equiv A --> A
A equiv FALSEHOOD, FALSEHOOD equiv A --> not A
not TRUTH --> FALSEHOOD
not FALSEHOOD --> TRUTH.
 
The command format for CMRG* is:

<Ed>CMRG* <<GWFF>>
<<GWFF>>


The result replaces the current wff.

TPS documentation homepage


© 1988-99, Carnegie Mellon University.

TPS homepage