Any contradiction or paradox.
In the thought of the German philosopher Immanuel Kant (1724–1804): an apparent contradiction between valid conclusions; a paradox.
Opposition; contrast.
The statement of the form "if not Q then not P", given the statement "if P then Q".