Returns a predicate that represents the logical negation of this predicate.
Returns: a predicate that represents the logical negation of this predicate
Diagram: function