Search All of the Math Forum:

Views expressed in these public forums are not endorsed by NCTM or The Math Forum.

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

 Messages: [ Previous | Next ]
 fom Posts: 1,968 Registered: 12/4/12
fom - 10 - a fundamental demorgan algebra
Posted: Dec 8, 2012 6:19 AM

Given that the 20-element 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 four-atom Boolean block
has an independent interpretation
that is isomorphic to the free
Boolean lattice on two generators
associated with truth-functional
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 four-atom
Boolean block with the elements
of the 16-element DeMorgan lattice.

Self-conjugate 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