Tag: predicate functor

Predicate Functor in Logic

A predicate functor in logic is a symbol acting as a function,…

Bossmind