PUSH-NEGATION : WFFOP

PUSH-NEGATION is a wff operation.
Pushes negation through the outermost operator or quantifier.
 
The calling scheme for PUSH-NEGATION is:

(PUSH-NEGATION GWFF)
"GWFF"


The result is of type GWFF.

The arguments have the following meaning:
GWFF : Negated Wff

TPS documentation homepage


© 1988-99, Carnegie Mellon University.

TPS homepage