En otras palabras, la contrapositiva es lógicamente equivalente a un determinado condicional, aunque no es válida para bicondicionales ('si y sólo si').