Proof by contraposition infers the conclusion "if p then q" from the premise "if not q then not p".
A proba por contraposición infire a conclusión "se p entón q" da premisa "se non q entón non p".