In propositional calculus, a propositional function or a predicate is a sentence expressed in a way that would assume the value of true or false, except that within the sentence there is a variable that is not defined or specified, which leaves the statement undetermined. Wikipedia