Re: A Simple Notation
From: paul c <toledobythesea_at_oohay.ac>
Date: Fri, 06 Jul 2007 23:52:15 GMT
Message-ID: <PAAji.92566$xq1.59731_at_pd7urf1no>
> ...
> The extension of the predicate of A contains only those tuples for which
> P(t) is true. The extension of X MINUS A contains only those tuples for
> which P(t) is false. Of course if the domains referenced in A are finite,
> then the set of n-tuples of objects exemplified by the predicate of A is
> also finite, so the complement of A is identical to the extension of X MINUS
> A.
Date: Fri, 06 Jul 2007 23:52:15 GMT
Message-ID: <PAAji.92566$xq1.59731_at_pd7urf1no>
Brian Selzer wrote:
> "David Cressey" <cressey73_at_verizon.net> wrote in message
> news:eirji.2$475.1_at_trndny04...
>
>>"Brian Selzer" <brian_at_selzer-software.com> wrote in message >>news:UHlji.18386$2v1.9600_at_newssvr14.news.prodigy.net... >> >>>"paul c" <toledobythesea_at_oohay.ac> wrote in message >>>news:4Ifji.90354$xq1.46042_at_pd7urf1no... >>>
> ...
> The extension of the predicate of A contains only those tuples for which
> P(t) is true. The extension of X MINUS A contains only those tuples for
> which P(t) is false. Of course if the domains referenced in A are finite,
> then the set of n-tuples of objects exemplified by the predicate of A is
> also finite, so the complement of A is identical to the extension of X MINUS
> A.
p Received on Sat Jul 07 2007 - 01:52:15 CEST