Conditional Tables
From: Mikito Harakiri <mikharakiri_nospaum_at_yahoo.com>
Date: 12 Oct 2004 11:00:13 -0700
Message-ID: <8a529bb.0410121000.72c5af05_at_posting.google.com>
Date: 12 Oct 2004 11:00:13 -0700
Message-ID: <8a529bb.0410121000.72c5af05_at_posting.google.com>
Paul <paul_at_test.com> wrote in message news:<41590f52$0$69731$ed2619ec_at_ptn-nntp-reader01.plus.net>...
> Yes, what I mean is that the external truth is that employee 123 is
> definitely either called John, or is called Bill. It's just we don't
> know which at the moment.
>
> In other words, of the following two statements, one and only one is true:
>
> "Employee 123 is called John"
> "Employee 123 is called Bill"
>
> But the fact that we don't know exactly which one doesn't make this a
> useless piece of information.
The Alice book, pages 493+ (19.3 Conditional Tables) covers this subject. Of course, it has much more to say than newsgroup thread may accomodate. Received on Tue Oct 12 2004 - 20:00:13 CEST