Lenticule Science
The Nelson Identity on Four-Valued Truth: A Corrected Contrapositive neighborhood
The current page first, followed by its outgoing and incoming relations.
article
The Nelson Identity on Four-Valued Truth: A Corrected Contrapositive
On the four-valued algebra FOUR, naive contrapositive fails but the Nelson identity holds: two iterated implications recover the original one.