The statement "if not q then not p" is called the contrapositive of the statement "if p then q".
O enunciado "se non q entón non p" chámase o contrapositivo do enunciado "se p entón q".