The statement of the form "if not Q then not P", given the statement "if P then Q".
Opposition; contrast.