Questão FC546118
A sentença logicamente equivalente à proposição abaixo é: “Se hoje tiver sol, então lavo roupas”.
Lógica de Proposições
FUNDATEC · 2025
A sentença logicamente equivalente à proposição abaixo é:
“Se hoje tiver sol, então lavo roupas”.
- Se chover, não lavo roupas.
- Se não tiver sol, não lavo roupas.
- Está chovendo, não lavarei roupas.
- Lavo roupas se não chover.
- Não tem sol ou lavo roupas.
Mostrar resposta e comentário
Gabarito
Errado
Comentário do professor
Seja \(p\): hoje tem sol e \(q\): lavo roupas. A proposição dada é uma condicional, escrita como \(p \rightarrow q\).
Em lógica proposicional há uma equivalência padrão: a condicional \(p \rightarrow q\) é logicamente equivalente à disjunção \(\lnot p \lor q\). Isso ocorre porque ambas são falsas exatamente quando \(p\) é verdadeira e \(q\) é falsa, e verdadeiras nos demais casos.
Negando \(p\) obtemos não tem sol, e mantendo \(q\) temos lavo roupas. Assim a forma equivalente em linguagem natural é: Não tem sol ou lavo roupas.
Conteúdo do catálogo FC Concursos · Atualizado em