boolbase

two functions: One that returns true, one that returns false

connective

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