logoalt Hacker News

Gormotoday at 4:00 PM0 repliesview on HN

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.