Para determinar qual proposição é logicamente equivalente à proposição "Se chove, então a grama cresce" (que pode ser representada como \( p \rightarrow q \)), precisamos entender algumas regras da lógica proposicional. A proposição \( p \rightarrow q \) é verdadeira em todos os casos, exceto quando \( p \) é verdadeiro e \( q \) é falso. A contrapositiva, que é \( \neg q \rightarrow \neg p \) (se a grama não cresce, então não chove), é sempre logicamente equivalente à proposição original. Agora, vamos analisar as alternativas: A) Se não chove, então a grama não cresce. - Esta proposição não é equivalente, pois não considera a possibilidade de a grama crescer sem chuva. B) A grama cresce somente se chover. - Esta proposição é equivalente à original, mas não é a contrapositiva. C) Se a grama não cresce, então não chove. - Esta é a contrapositiva e, portanto, é logicamente equivalente. D) Se a grama cresce, então chove. - Esta proposição é a inversa e não é equivalente. E) Chover é necessário para a grama crescer. - Esta proposição é uma reinterpretação da original, mas não é a contrapositiva. A alternativa que é logicamente equivalente à proposição "Se chove, então a grama cresce" é: C) Se a grama não cresce, então não chove.