CNTOP : EDOP

CNTOP is an editor command.
Change the top connective of a formula. For example,
"cntop or" will change "A and B" into "A or B";
"cntop exists" will change "forall x P x" into "exists x P x".
 
The command format for CNTOP is:

<Ed>CNTOP CONN <<GWFF>>
"SYMBOL" <<GWFF>>


The result replaces the current wff.

TPS documentation homepage


© 1988-99, Carnegie Mellon University.

TPS homepage