→ ( x y -- expr ) (original) (raw)

→ ( 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 ¬ ⋁ ;