Re: Distributivity in Tropashko's Lattice Algebra

From: Mikito Harakiri <mikharakiri_nospaum_at_yahoo.com>
Date: 17 Aug 2005 13:55:51 -0700
Message-ID: <1124312151.111039.267020_at_f14g2000cwb.googlegroups.com>


vc wrote:
> 00 union A = 0x, where x is either 0 or 1 depending on whether A is
> empty or not.

It doen't seem to be consistent either.

Let

A = {x=1}
B = {x=2}

Then

A union 00 = 01
B union 00 = 01

And union of the both relations implies

(A union B) union 00 = 01

But A union B is empty, therefore

(A union B) union 00 = 00

! Received on Wed Aug 17 2005 - 22:55:51 CEST

Original text of this message