connective

combine predicate (bool returning) functions with propositional logic connectives (and, or, not)

is-boolean

Predicate that returns true for "boolean" values.