Para analisar a proposição "Se não chover, vamos à praia", podemos representá-la na forma lógica como \( \neg C \rightarrow P \), onde \( C \) representa "chover" e \( P \) representa "vamos à praia". Agora, vamos analisar as alternativas: A) Se vamos à praia, então não chove. Esta é a forma inversa da proposição original e não é equivalente. B) Se não vamos à praia, então chove. Esta é a contrapositiva da proposição original e é equivalente. C) Se chove, então não vamos à praia. Esta é a forma contrária e não é equivalente. D) Se vamos à praia, então chove. Esta não é uma equivalência lógica. E) Se vamos à praia, então chove ou não. Esta é uma tautologia e não é uma equivalência. Portanto, a alternativa correta é: B) Se não vamos à praia, então chove.