imply

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

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

imply a b
-- a: antecedent
-- b: consequent

import Boolean exposing (..)

imply False False
-- True

imply False True
-- True

imply True True
-- True

imply True False
-- False

References

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