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


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


fom  12  lexical blocking
Posted:
Dec 8, 2012 6:23 AM


Let A and B be propositions.
Let A be asserted as true.
Then B is in relation to A according to whether or not there exists a deduction of
IMP(A,NOR(B,B))
If such a deduction exists, then the subsequent assertion of B is lexically blocked.
The corresponding relation in orthocomplemented lattices is called orthogonality.
Lattice polynomials are built from meets and joins. The expression above is equivalent to
NOR(NOR(NOR(A,A),B),NOR(A,A),B))
that corresponds with
A \/ B
To establish correspondence between the lattice polynomials and the transformation rules of the deductive system, one must have that every mapping F from the nonatomic propositions into the lattice
TRU
/ \ / \ / \ / \ / \ / \
NO ALL
                     
OTHER SOME
\ / \ / \ / \ / \ / \ /
THIS
be such that
F(NOR(x,x)) = F(x)
and
F(NOR(NOR(x,y),NOR(x,y))) = F(x) \/ F(y)


Date

Subject

Author

12/8/12


fom

12/11/12


fom


