Edu talk:Predicate

• In some contexts a unary predicate is referred to as a property.
• A problem with the Informal def. is that of associating variables and values with statements. It seems to assume a specific, perhaps mathematical, sense of statement. But there is nothing inherent in the concept of a statement that it has that of variables and values. The example following it supports the perception that a specific mathematical sense of 'statement' was assumed.

A helpful approach would be to include other more intuitive definitions--one from commonsense (meaning of 'statement' in daily life) and from language, which probably overlap.