Re: predicate in a predicate

Jan Burse schrieb:

Yeah, I feel so lucky too to get so many nice replies. Thanks.
I have few things that I am still doubt.


I don't get this from Hezbert.
A predicate takes terms as arguments and returns a sentence.
A function takes terms as arguments and returns a term.


See chapter 2 of
http://www.mathsci.appstate.edu/~jlh/primer/hirst.pdf
.