. . "In the predicate calculus, elementary propositions (or predicates) are composite objects of the form P(a, b, c,???), where P is a symbol in the language, and a, b, c, etc. are constants or variables." . .