→ ( x y -- expr )


Vocabulary
boolean-expr

Inputs
xa
ya


Outputs
expra


Word description
Material implication (if..then).

x→y ¬xy

Definition