Gabarito: d)
Vamos analisar a sentença original: "Se faz sol e eu acordo cedo, então eu vou à praia."
Em lógica, isso é representado como: (Faz sol ∧ Acordo cedo) → Vou à praia.
Uma forma de reescrever uma condicional p → q é usando a equivalência: p → q é logicamente equivalente a ¬p ∨ q.
Aplicando isso:
¬(Faz sol ∧ Acordo cedo) ∨ Vou à praia
Pela De Morgan, ¬(Faz sol ∧ Acordo cedo) = ¬Faz sol ∨ ¬Acordo cedo
Então, a sentença fica:
(¬Faz sol ∨ ¬Acordo cedo) ∨ Vou à praia
Que é exatamente a alternativa d): "não faz sol ou eu não acordo cedo ou eu vou à praia."
Portanto, essa é a equivalência correta.
Vamos analisar a sentença original: "Se faz sol e eu acordo cedo, então eu vou à praia."
Em lógica, isso é representado como: (Faz sol ∧ Acordo cedo) → Vou à praia.
Uma forma de reescrever uma condicional p → q é usando a equivalência: p → q é logicamente equivalente a ¬p ∨ q.
Aplicando isso:
¬(Faz sol ∧ Acordo cedo) ∨ Vou à praia
Pela De Morgan, ¬(Faz sol ∧ Acordo cedo) = ¬Faz sol ∨ ¬Acordo cedo
Então, a sentença fica:
(¬Faz sol ∨ ¬Acordo cedo) ∨ Vou à praia
Que é exatamente a alternativa d): "não faz sol ou eu não acordo cedo ou eu vou à praia."
Portanto, essa é a equivalência correta.