Considere verdadeiras as seguintes proposições: Se está chovendo, então faz frio. O mar não está calmo ou posso mergulhar. Está chovendo ou o mar está calmo. Dessas proposições, co

Gabarito

A

Comentário do professor

Primeiro observe a equivalência lógica: uma disjunção do tipo \( \lnot M \lor P \) é equivalente ao condicional \( M \to P \). Aplicando isso à segunda premissa, temos: se o mar está calmo, então posso mergulhar.

Reescrevendo as premissas em símbolos: \(C \to F\), \(M \to P\) e \(C \lor M\), onde \(C\) = está chovendo, \(F\) = faz frio, \(M\) = mar calmo, \(P\) = posso mergulhar.

Agora usamos o padrão conhecido como Dilema construtivo: de \(p \to q\), \(r \to s\) e \(p \lor r\) segue-se \(q \lor s\). Aqui, aplicando ao caso, de \(C \to F\), \(M \to P\) e \(C \lor M\) concluímos \(F \lor P\).

Portanto, a conclusão correta é faz frio ou posso mergulhar, que corresponde exatamente à alternativa indicada.