CMRG* : EDOPCMRG* 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:
The result replaces the current wff.
TPS documentation homepage