Dada a sentença: "Se está sol, então não está chovendo". Marque a alternativa logicamente equivalente à sentença dada.
Resposta obrigatória
Se não está chovendo, então está sol.
Se está chovendo, então não está sol.
Está sol ou não está chovendo.
Não está sol e não está chovendo.
Soluções para a tarefa
Resposta:
e) Se está chovendo, então não está sol.
então se chovendo não esta sol
Esta é uma questão sobre lógica proposicional e a alternativa correta é a letra B, "Se está chovendo, então não está sol". Vamos à explicação.
Sabemos que a sentença "Se está sol, então não está chovendo" contém duas proposições simples: "Está sol" e "Está chovendo". Ela é composta pelo antecedente "Está sol" e pelo consequente "Não está chovendo". Traduzindo para proposições:
- p: "está sol";
- q: "está chovendo";
- ¬q: "não está chovendo";
- p⇒¬q: "se está sol, então não está chovendo"
A proposição "se está chovendo, então não está sol" equivale a dizer "¬¬q⇒¬p" que, por sua vez, é a contrapositiva (equivalente) à proposição original da questão. Logo, letra B.
Um exemplo de questão que lida com contrapositiva (equivalente à uma implicação), é a seguinte: https://brainly.com.br/tarefa/25045008. Confira na imagem abaixo a tabela-verdade da proposição de equivalência.
