SEMANTICS: traditionally, an expression which takes a subject to form a
sentence. The predicate ascribes a property to the subject.
EXAMPLE: Socrates is the subject in the sentence Socrates
is mortal and is mortal is the predicate. In
predicate logic, a predicate designates
a property or a relation. P in P(a) and R in R(b,c) are called predicates. P in P(a) assigns a property to a and R in R(b,c) designates a relation between b and c.
The expressions a, b and c are called the
arguments of the predicates P and R.
|LIT.||Gamut, L.T.F. (1991)|