A sentença P ? (Q ? R) é logicamente equivalente à sentença