On Wed, Nov 06, 2002 at 08:41:43PM -0600, Jordan DeLong wrote:
> On Thu, Nov 07, 2002 at 01:59:04AM -0000, And Rosta wrote:
[...]
> Furthermore, it is false that
> Ax(Ux -> Wx) |- Ex(Ux & !Wx)
I meant to type:
~Ax(Ux -> Wx) |- Ex(Ux & ~Wx)
(but you could probably guess that anyway).
--
Jordan DeLong - fracture@allusion.net
lu zo'o loi censa bakni cu terzba le zaltapla poi xagrai li'u
sei la mark. tuen. cusku
Attachment:
pgpJjjw3r3Csb.pgp
Description: PGP signature