imp

Checks if antecedent ⇒ consequent (x ⇒ y). 📰 📘

Similar: imply, nimply.
Similar: imply, eq.

imp a b
-- a: antecedent
-- b: consequent

import Boolean exposing (..)

imp False False
-- True

imp False True
-- True

imp True True
-- True

imp True False
-- False

References

• Boolean operators: QBasic 1.1
• Imp operator: Microsoft Docs
• IMPLY gate
• Material conditional