Re: Definition please....
Date: Fri, 29 Mar 2002 17:46:24 GMT
Message-ID: <GtqxDC.5nE_at_news.boeing.com>
Should have reviewed the formal mathematical definitions first. I stand corrected.
Regards,
Daniel Guntermann
"Jan Hidders" <hidders_at_uia.ua.ac.be> wrote in message
news:3ca32682$1_at_news.uia.ac.be...
> "Daniel Guntermann" <guntermann_at_uswest.net> wrote in message
> news:z7xo8.134$pV.120526_at_news.uswest.net...
> > Pardon the contradition, but a *proposition* is a statement that is
either
> > true or false; a *predicate* is a true proposition.
>
> Let me suggest the following: A predicate is a statement with open
> references such that when these are filled with specific objects, it turns
> into a predicate. For example "x is married to y" is a predicate. The
> statement "John is married to Mary" is a proposition (provided we know
> exactly who John and Mary are).
>
> -- Jan Hidders
>
>
Received on Fri Mar 29 2002 - 18:46:24 CET