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