i think predicates are functions returning booleans lambda calculus would provide a computational way to determine the truth value of the predicate, any comput

i think predicates are functions returning booleans lambda calculus would provide a computational way to determine the truth value of the predicate, any computable predicate that is.