Methods that return a value of type boolean are called predicates.
Example: The following is the definition of a static method that is a predicate:
It can be used as shown in the following code fragment:public static boolean implies(boolean a, boolean b) { return (!a || b); // not a or b }
boolean x, y, z; ... z = implies(x, y);