contraposition

noun

1. (logic) The statement of the form "if not Q then not P", given the statement "if P then Q".