Negation of LEM using LEM
If LEM is to have identity, “or” is subject to identity as well as LEM itself (as “or”=“or” and “LEM = LEM”), thus any “or” between identities allows “or” as subject to itself, by degree of being an identity which can be input into LEM, and in turn becomes a dichotomy where
-
“Or” is chosen at which case “not or” cannot occur thus resulting in an absence of contrast for “or”, thus no identity for “or”, while simultaneously in which case there is no “not or” and ‘“or” or “not or”’ is negated to a recursion of ‘"or"or’.
-
Or “not or” is chosen at which point the “or” operator, being subject to identity, is negated and LEM negates itself.
Simultaneously there is either one LI or the other as
(A=A) = LI
(-A=-A) = LI
Results in “LI or LI”, at the meta level, and the “or” operater ceases as there is no choice in that context
While from another simultaneous angle it can be show as
“LI or -LI” at which point
LI is chosen and LI exists without LNC or LEM, as not LI,
or
-LI is chosen and LNC and LEM contain no identities and have no identities thus LEM and LNC cease.