Qual é o oposto lógico da afirmação "Se chove, então a rua fica molhada"?

Gabarito

A

Comentário do professor

A sentença dada é uma condicional: Se chove, então a rua fica molhada. Em lógica, escrevemos isso como \(p \rightarrow q\), onde \(p\) = "chove" e \(q\) = "a rua fica molhada".

A negação de uma condicional não é simplesmente inverter a seta; ela corresponde exatamente à situação em que a condicional seria falsa. Uma condicional \(p \rightarrow q\) é falsa apenas quando \(p\) é verdadeiro e \(q\) é falso.

Portanto a negação é \(p \land \neg q\), ou seja: chove e a rua não fica molhada. Essa forma preserva a primeira parte e nega a segunda, ligada pelo conectivo e.