Date: Feb 15, 2013 7:05 AM
Author: fom
Subject: Re: distinguishability - in context, according to definitions

On 2/14/2013 12:40 PM, fom wrote:
> On 2/14/2013 9:32 AM, Shmuel (Seymour J.) Metz wrote:
>> In <qImdnYCz5tRmvITMnZ2dnUVZ_oWdnZ2d@giganews.com>, on 02/11/2013
>> at 10:53 AM, fom <fomJUNK@nyms.net> said:
>>
>> You really need to step back, separate out the philosophy from the
>> mathematics and define any terms that you aren't uisng in accordance
>> with standard practice.



What follows is a paradigm Steiner
Quadruple System on 14 symbols. This
structure is intended to convey
duality between the "given label" and
its "individuating mark". The one
presented here is constructed with the
names of basic Boolean functions different
from LEQ and XOR. The fourteen functions
are linearly separable, whereas the two
exclusions are not.

==================

(AND)(FIX)(OR)(NIF)
(FIX)(NIF)(NIMP)(IF)
(FIX)(NIF)(IMP)(NAND)
(NIF)(LET)(OR)(IF)
(NIF)(LET)(NIMP)(IMP)
(FIX)(FLIP)(IMP)(NOR)
(FIX)(LET)(AND)(IF)
(FIX)(LET)(OR)(IMP)
(FIX)(LET)(NIMP)(NAND)
(FIX)(NIF)(LET)(NOR)
(AND)(NIMP)(IF)(DENY)
(FIX)(FLIP)(LET)(DENY)
(AND)(OR)(NIMP)(IMP)

(OR)(NIF)(NIMP)(FLIP)
(NIF)(FLIP)(IF)(IMP)
(NIF)(FLIP)(NAND)(NOR)
(FLIP)(DENY)(NIMP)(IMP)
(FLIP)(DENY)(IF)(NAND)
(NIF)(LET)(NAND)(AND)
(NIF)(DENY)(OR)(IMP)
(NIF)(DENY)(NIMP)(NAND)
(NIF)(DENY)(IF)(NOR)
(NIF)(FLIP)(DENY)(AND)
(OR)(IF)(IMP)(TRU)
(NIF)(LET)(DENY)(TRU)
(OR)(NIMP)(IF)(NAND)

(NIMP)(FLIP)(IF)(LET)
(FLIP)(LET)(IMP)(NAND)
(FLIP)(LET)(NOR)(AND)
(LET)(TRU)(IF)(NAND)
(LET)(TRU)(IMP)(NOR)
(FLIP)(DENY)(NOR)(OR)
(FLIP)(TRU)(NIMP)(NAND)
(FLIP)(TRU)(IF)(NOR)
(FLIP)(TRU)(IMP)(AND)
(FLIP)(LET)(TRU)(OR)
(NIMP)(IMP)(NAND)(NTRU)
(FLIP)(DENY)(TRU)(NTRU)
(NIMP)(IF)(IMP)(NOR)

(IF)(LET)(IMP)(DENY)
(LET)(DENY)(NAND)(NOR)
(LET)(DENY)(AND)(OR)
(DENY)(NTRU)(IMP)(NOR)
(DENY)(NTRU)(NAND)(AND)
(LET)(TRU)(AND)(NIMP)
(LET)(NTRU)(IF)(NOR)
(LET)(NTRU)(IMP)(AND)
(LET)(NTRU)(NAND)(OR)
(LET)(DENY)(NTRU)(NIMP)
(IF)(NAND)(NOR)(FIX)
(LET)(TRU)(NTRU)(FIX)
(IF)(IMP)(NAND)(AND)

(IMP)(DENY)(NAND)(TRU)
(DENY)(TRU)(NOR)(AND)
(DENY)(TRU)(OR)(NIMP)
(TRU)(FIX)(NOR)(OR)
(TRU)(FIX)(NAND)(AND)
(DENY)(NTRU)(OR)(IF)
(DENY)(FIX)(IMP)(AND)
(DENY)(FIX)(NOR)(NIMP)
(DENY)(TRU)(FIX)(IF)
(IMP)(NOR)(AND)(NIF)
(DENY)(NTRU)(FIX)(NIF)
(DENY)(FIX)(NAND)(OR)
(IMP)(NAND)(NOR)(OR)

(NAND)(TRU)(NOR)(NTRU)
(TRU)(NTRU)(AND)(OR)
(TRU)(NTRU)(NIMP)(IF)
(NTRU)(NIF)(NOR)(OR)
(NTRU)(NIF)(AND)(NIMP)
(TRU)(FIX)(NIMP)(IMP)
(TRU)(NIF)(NAND)(OR)
(TRU)(NIF)(NOR)(NIMP)
(TRU)(NIF)(AND)(IF)
(TRU)(NTRU)(NIF)(IMP)
(NAND)(AND)(OR)(FLIP)
(TRU)(FIX)(NIF)(FLIP)
(NAND)(NOR)(AND)(NIMP)

(NOR)(NTRU)(AND)(FIX)
(NTRU)(FIX)(OR)(NIMP)
(NTRU)(FIX)(IF)(IMP)
(FIX)(FLIP)(AND)(NIMP)
(FIX)(FLIP)(OR)(IF)
(NTRU)(NIF)(IF)(NAND)
(NTRU)(FLIP)(NOR)(NIMP)
(NTRU)(FLIP)(AND)(IF)
(NTRU)(FLIP)(OR)(IMP)
(NTRU)(FIX)(FLIP)(NAND)
(NOR)(OR)(NIMP)(LET)
(NTRU)(NIF)(FLIP)(LET)
(NOR)(AND)(OR)(IF)