Se P, Q e R são proposições simples, então a proposição~[P→(Q→R)] é equivalente a