A predicate functor in logic is a symbol acting as a function, mapping individuals or tuples to truth values. It's…