Se P, Q e R são afirmações lógicas, então a contraposição da implicação (P→Q)→R é logicamente equivalente à implicação
