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