MBED-IMPLICS-LEFT : WFFOP

MBED-IMPLICS-LEFT is a wff operation.
Embed the current edwff as the antecedent of a conditional.
The consequent is provided by the user.
 
The calling scheme for MBED-IMPLICS-LEFT is:

(MBED-IMPLICS-LEFT LGWFF RGWFF)
"GWFF0" "GWFF0"


The result is of type GWFF0.

The arguments have the following meaning:
LGWFF : Antecedent of implication
RGWFF : Succedent of implication

TPS documentation homepage


© 1988-99, Carnegie Mellon University.

TPS homepage