Skip to content
Subhajit Sahu edited this page Mar 25, 2021 · 5 revisions

Checks if antecedent ⇒ consequent (a ⇒ b). 📰 📘

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


imply(a, b)
# a: antecedent
# b: consequent
from extra_boolean import imply


imply(False, False)
# True

imply(False, True)
# True

imply(True, True)
# True

imply(True, False)
# False


References

Clone this wiki locally