Predicate (logic)
Redirect to:
Predicate (mathematical logic)