MRG : EDOP

MRG is an editor command.
Apply the following laws to a wff:
A and A --> A
A or A --> A
A implies A --> TRUTH
A and not A, not A and A --> FALSEHOOD
A or not A, not A or A --> TRUTH
A implies not A --> not A
not A implies A --> A
A equiv not A, not A equiv A --> FALSEHOOD.
 
The command format for MRG is:

<Ed>MRG <<GWFF>>
<<GWFF>>


The result replaces the current wff.

TPS documentation homepage


© 1988-99, Carnegie Mellon University.

TPS homepage