A sentença dada é: "Se Maria for ao aniversário, João irá e ficará feliz, mas Maria ficará infeliz, ou, se João não for ao aniversário, Maria irá e ficará feliz, mas João ficará infeliz." Vamos identificar as proposições: - P: João vai ao aniversário - Q: Maria vai ao aniversário - R: João feliz - S: Maria feliz Agora, vamos traduzir a sentença em lógica proposicional: 1) "Se Maria for ao aniversário (Q), João irá (P) e ficará feliz (R), mas Maria ficará infeliz (¬S)." Isso pode ser representado como: Q → (P ∧ R ∧ ¬S) 2) "Ou, se João não for ao aniversário (¬P), Maria irá (Q) e ficará feliz (S), mas João ficará infeliz (¬R)." Isso pode ser representado como: ¬P → (Q ∧ S ∧ ¬R) A sentença completa é a disjunção dessas duas partes: (Q → (P ∧ R ∧ ¬S)) ∨ (¬P → (Q ∧ S ∧ ¬R)) Portanto, a fórmula correta é: (Q -> (P ^ R ^ ¬S)) V (¬P -> (Q ^ S ^ ¬R)) Como a notação dos operadores é: - junção = ^ - disjunção = V - negação = 7 (ou ¬) - implica = -> A alternativa que corresponde a essa fórmula é a correta. Infelizmente, as alternativas não estão claras no enunciado, mas a fórmula correta é essa que apresentei.