L4 logic my am mine contribution to mathematics
http://militsin.com/L4wiki/index.php?title=%D0%AD%D0%BB%D0%B5%D0%BC%D0%B5%D0%BD%D1%82%D0%B0%D1%80%D0%BD%D0%B0%D1%8F_%D1%82%D0%B5%D0%BE%D1%80%D0%B8%D1%8FFour-valued logic (the logic of four states) operates with four states, which we will call symbols:
T (from English "True") - means the state of "Truth", geometrically associated with the axis OX, abscissa. Has a numerical value of 1.
F (from English "False") - means a state of "False", geometrically associated with the axis OY, ordinate. Has a numerical value of 2.
U (from English "Undefined") - means the state "Undefined", geometrically associated with the OZ axis, by an applicate. Has a numerical value of 3.
N (from English "Null") - means the state "Out of Understanding", geometrically this state is associated with the time axis. Has a numeric value of 0.
Thus, the four states of the quaternary logic are described by a set of the above symbols. We will call this set "dark". In addition to a dark set of characters, sometimes, in rare cases, we will use a set of "light symbols".
In quaternary logic, light symbols are completely equivalent to dark symbols, they differ in a small semantic difference, which at the moment does not matter, but which can be used in the future, as the ideas of logic develop. In general, the corresponding light and dark symbols coincide.
Light symbols:
T (from English "Thesis") - thesis (FAITH (tautology, manner-self-identity μονή), TRUE, OXH OX) (corresponds to the state of "Truth" of formal logic). Geometrically associated with the axis OX, abscissa. Has a numerical value of 1.
A (from English "Antithesis") - antithesis (denial (neskrytost ἀλήθεια), LIE, OXY OY) (corresponds to the state of "False" of formal logic). Geometrically associated with the axis OY, ordinate. Has a numerical value of 2.
S (from English "Synthesis") - synthesis (UNDERSTANDING (going out of limits, producing πρόοδος), UNCERTAINTY, OZ, OZ) (corresponds to the equation of formal logic: TRUE OR FALSE == TRUE AND FALSE, where "OR" is a weak disjunction operation , "AND" is a connect operation, "==" means that the right and left parts of the logical equation are equal). In quadruple logic, this equation is a separate symbol of S. As we move from quaternary logic to formal logic (formalization), we will use the left and only the left side of this equation. Thus, the formal-logical value of this symbol is TRUE: (TRUE OR FALSE == TRUE). Geometrically associated with the axis OZ, ordinate. It has a numerical value of 3.
N (from English "Nonsense") - nonsense (REALIZATION (returning to your borders, the correct choice is επιστροφή), OUTSIDE UNDERSTANDING, AXIS OF TIME) (corresponds to the equation of formal logic: NOT (TRUE OR FALSE) == NOT (TRUE AND FALSE) where "OR", "AND", "==" means the same as in the definition of the symbol S - "Synthesis" (see above.) The NOT () function means formal negation. symbol N. As we move from a quaternary logic to a formal one (formalization), we will use the left and only the left side of this equation. but the logic value of the symbol is FALSE:. (NOT (TRUE OR FALSE) == FALSE) Geometrically, this condition is associated with the time axis has a numerical value of 0..
For a number of reasons, the construction of this elementary theory uses bright symbols. In the future, in the more advanced part of logic, a dark set of symbols is mainly used.