Re: Distributivity in Tropashko's Lattice Algebra

Mikito Harakiri wrote:
> 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

Sorry, I take it back. A union B is not empty. On the other hand, if

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

Then

A union B = 01

and

01 union 00 = 01 Received on Wed Aug 17 2005 - 23:07:42 CEST