Re: Idempotence and "Replication Insensitivity" are equivalent ?

Aloha Kakuikanu wrote:
> Marshall wrote:
> >
> > Most of that I get, but I don't see how min and max fit in.
> > How is min related to conjunction? How is max related
> > to disjunction?
>
> Lets's talk about binary operations first. Conjunction and min are the
> same operations. Likewise disjunction and max. They obey the same set
> of lattice laws. Min and max are defined on numbers: integers, reals,
> etc. Conjunction and disjunction is defined on boolean algebras.
>
> When writing /\(capital) and \/(capital) I referred to n-ary (or
> aggregate) variants of conjunction and disjunction which are more
> commonly known in logic as existential and universal predicates.

Makes sense; thanks.

Marshall Received on Sun Sep 24 2006 - 17:34:06 CEST