Qual é a forma correta da proposição "Se e somente se chove, a rua fica molhada"? a) p → q b) p ↔ q c) p ∧ q d) p ∨ q e) ¬p → q

Para entender a proposição "Se e somente se chove, a rua fica molhada", precisamos identificar a relação entre as duas partes da frase. A expressão "Se e somente se" indica uma relação bicondicional, que é representada pelo símbolo ↔. Isso significa que a rua fica molhada se e somente se está chovendo, ou seja, ambas as condições são verdadeiras ou ambas são falsas. Analisando as alternativas: a) p → q - Isso representa uma implicação simples, não uma bicondicional. b) p ↔ q - Esta é a representação correta da relação "Se e somente se". c) p ∧ q - Isso representa uma conjunção, que não é o caso aqui. d) p ∨ q - Isso representa uma disjunção, que também não se aplica. e) ¬p → q - Isso representa uma implicação com a negação, que não é o que a proposição diz. Portanto, a alternativa correta é: b) p ↔ q.