→ ( x y -- expr )

Vocabulary

boolean-expr

Inputs

x	a □
y	a □

Outputs

expr

a □

Word description

Material implication (if..then).

x→y ≣ ¬x⋁y

Definition

USING: kernel ;

IN: boolean-expr

: → ( x y -- expr ) swap ¬ ⋁ ;