A proposição p ∧ ( p → q) é logicamente equivalente à proposição: