Uma sentença logicamente equivalente a ?Se faz sol e eu acordo cedo, ent...
Responda: Uma sentença logicamente equivalente a ?Se faz sol e eu acordo cedo, então eu vou à praia? é:
💬 Comentários
Confira os comentários sobre esta questão.

Por Camila Duarte em 31/12/1969 21:00:00
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.
⚠️ Clique para ver os comentários
Visualize os comentários desta questão clicando no botão abaixo
Ver comentários