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.

© 1988-99, Carnegie Mellon University.