En lógica, la contraposición lógica es una ley que dice que, para cada sentencia condicional, hay una equivalencia lógica entre la misma y su contraposición.