Qu'est-ce que la fonction logique imp ?

La fonction logique non commutative d'implication, imp, est vraie si l’opérande impliquée est vraie lorsque l’opérande impliquant est vraie.

L’implication logique peut aussi être spécifiée par le symbole mathématique Þ.