The four valued logic

The four truth values

<the true T1 and the false T2>

THIS 4valued logic have two truth values which is the truth and false of the binary logic.

The form of 1st valued or true proposition is p and 2nd valued or false proposition is -p

<the third value T3>

THE important value of this logic is the third value "Paradox".This third value is the value of the proposition which is paradoxical aspect logically, for instance, the possible proposition and the idea proposition. These paradoxical propositions have the two implicit natures,which is "the affirmation implying the self-denial P⇒-P" and "the missing implying the desire -P⇒P". The dual-implication of the conflicting propositions is the natures of the pure paradox.So, this third truth value contradicts the truth and false of binary logic. (Q&A4)(Q&A5,8)(Q&A17,18,19)(Q&A21,22,23)

The form of 3^rd valued proposition (p⇔-p) is p⇒-p⇒p⇒-p⇒p⇒-p.......or p=-p(p(-p(p....... .　

<the fourth value T4>

THE fourth value has neither time nor the space, like in the BLACK HOLE, emptiness or nothingness.Therefore, this truth value does not exist like other truth values and does not have a usual cause-effect rule.Because this fourth valued proposition have actually time and space in our communication,this proposition that only imply the 4th truth value, have a form denying itself.(Q&A9)(Q&A19)(Q&A24)

The form of 4^th valued proposition -(p⇔-p) which express the endless self-denial is p⇒-p⇒-(p⇒-p)⇒-(p⇒-p⇒-(p⇒-p))⇒-(p⇒-p⇒-(p⇒-p)⇒-(p⇒-p⇒-(p⇒-p)))........or p= -p(-p(-p(-p(-p(-p...... .

Mainmenu | lawoflogic | truthtable | Q&A | homepage