Re: Categorization of Predicates
From: Paul G. Brown <paul_geoffrey_brown_at_yahoo.com>
Date: 4 Nov 2002 13:32:28 -0800
Message-ID: <57da7b56.0211041332.3b21b519_at_posting.google.com>
Date: 4 Nov 2002 13:32:28 -0800
Message-ID: <57da7b56.0211041332.3b21b519_at_posting.google.com>
"Bob Badour" <bbadour_at_golden.net> wrote in message news:<QPox9.149$Nc4.48558210_at_radon.golden.net>...
> The terms you seek (and a couple others) are: commutative, associative,
> distributive and transitive.
Not to mention reflexive, closed, invertible, symmetric (and probably a few others).
Or you could write a theorem prover and derive the majority from a minority.
(Are we showing off yet?) Received on Mon Nov 04 2002 - 22:32:28 CET