A predicate may be thought of as a function from a single term to a sentence, and hence can be called a sentential function. Also, the truth-functional connectives are occasionally thought of as functions from sentences to sentences, although they are better thought of as functions from sets of truth-values to other truth-values, since this is how they are evaluated in interpretations of the propositional calculus. See also propositional function.