From: Joe E. Dees (joedees@bellsouth.net)
Date: Mon Sep 20 1999 - 21:11:58 MDT
Date sent: Mon, 20 Sep 1999 21:34:42 -0400
From: Robert Owen <rowen@technologist.com>
Subject: Re: Zen: Dees - Redundant
To: extropians@extropy.com
Send reply to: extropians@extropy.com
> Joe E Dees wrote:
>
> > Neither this, nor that, nor [neither this nor that], nor [both this and
> > that].
>
> Not required. The Boolean transform of nor [both this and that] which
> is equivalent to not[this and that] is [not-this or not-that]. But this
> is the inclusive OR, so it includes as a true case [not-this AND not-that].
> But this readily transforms into not[this OR that] or neither this nor that,
> which was explicitly stated.
>
Not both/and is not equivalent to not neither/nor, any more than
both/and is equivalent to neither/nor. The application of the same
logical operation (in this case negation) to two nonequivalent terms
results in the creation of two more nonequivalent terms. Q.E.D.
>
> =======================
> Robert M. Owen
> Director
> The Orion Institute
> 57 W. Morgan Street
> Brevard, NC 28712-3659 USA
> =======================
>
>
>
This archive was generated by hypermail 2.1.5 : Fri Nov 01 2002 - 15:05:14 MST