Skip to content

imp

Jump to bottom
Subhajit Sahu edited this page Mar 24, 2021 · 9 revisions

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

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


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

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

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

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

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


References

Clone this wiki locally