Search All of the Math Forum:
Views expressed in these public forums are not endorsed by
NCTM or The Math Forum.


Math Forum
»
Discussions
»
sci.math.*
»
sci.math
Notice: We are no longer accepting new posts, but the forums will continue to be readable.
Topic:
fom  10  a fundamental demorgan algebra
Replies:
1
Last Post:
Dec 11, 2012 9:33 PM



fom
Posts:
1,968
Registered:
12/4/12


fom  10  a fundamental demorgan algebra
Posted:
Dec 8, 2012 6:19 AM


Given that the 20element ortholattice has been constructed from the lines of our affine geometry, the 16 functions of our original connectivity algebra form the extensional basis of the construction.
However, the namespace of the ortholattice has been obtained in such a way that
NTRU has been replaced with THIS
The next construction embeds a DeMorgan algebra into the lattice so that the fouratom Boolean block has an independent interpretation that is isomorphic to the free Boolean lattice on two generators associated with truthfunctional logic.
Without negation, it is difficult to convey the four forms
Ax, Ax, Ex, Ex
The namespace is formulated so that
ALL corresponds with Ax NO corresponds with Ax SOME corresponds with Ex OTHER corresponds with Ex
We fix the relationships of these names, relative to the use of negation, by taking ALL and SOME as fixed and NO and OTHER as conjugate.
This is made precise by the subdirectly irreducible DeMorgan algebra on four elements whose involution is given by
ALL > ALL NO > OTHER OTHER > NO SOME > SOME
The product of this algebra with itself has sixteen elements.
We now correllate those line names used for the fouratom Boolean block with the elements of the 16element DeMorgan lattice.
Selfconjugate pairs:
FIX > (SOME,ALL)
FLIP > (ALL,SOME)
LET > (ALL,ALL)
DENY > (SOME,SOME)
Conjugate pairs:
NOR > (NO,SOME) NAND > (OTHER,SOME)
AND > (NO,ALL) OR > (OTHER,ALL)
NIF > (ALL,NO) IMP > (ALL,OTHER)
NIMP > (SOME,NO) IF > (SOME,OTHER)
LEQ > (NO,OTHER) XOR > (OTHER,NO)
TRU > (OTHER,OTHER) THIS > (NO,NO)


Date

Subject

Author

12/8/12


fom

12/11/12


fom


