Re: predicate in a predicate



Keenlearner wrote:

A predicate takes terms as arguments and returns a sentence.
A function takes terms as arguments and returns a term.

What is the difference between predicate and function ? can give me
examples that can differentiate between them ?

Predicates: <, =, stabbed

1 < 2 (True sentence)
2 = 3 (False sentence)
Brutus stabbed Caesar. (True sentence)

Functions: +, -, the day before

1 + 2 (denotes 3)
2 - 3 (denotes -1)
The day before Tuesday (denotes Monday)

--
hz
.