contraposition in German
contraposition in German
Kontraposition
(countable, logic) The statement of the form "if not Q then not P", given the statement "if P then Q".