We do not currently know of any antonyms for predicate logics.
The noun predicate logics is defined as: