Skip to content
Subhajit Sahu edited this page Mar 24, 2021 · 7 revisions

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

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


Boolean.imply(a, b);
// a: antecedent
// b: consequent
import io.github.javaf.*;

Boolean.imply(false, false);
// true

Boolean.imply(false, true);
// true

Boolean.imply(true, true);
// true

Boolean.imply(true, false);
// false


References

Clone this wiki locally