¬ ( x -- expr )

Vocabulary

boolean-expr

Class description

Logical negation (NOT).

¬(¬A) ≣ A.

Definition

IN: boolean-expr

TUPLE: ¬ x ;


USING: multi-methods ;

IN: boolean-expr

GENERIC: ¬ ( x -- expr )