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.

© 1988-99, Carnegie Mellon University.