connective

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