A logically true statement, the denial of which results in a contradiction.