Comment by Gormo
3 hours ago
A proposition and its logical inverse cannot both be false. That's a contradiction.
A proposition and its logical inverse can both be unknown, and in fact, a proposition being unknown implies that its logical inverse must also be unknown.
No comments yet
Contribute on Hacker News ↗