Escreva as sentenças a seguir utilizando a linguagem da Lógica Proposicional. Utilize símbolos proposicionais para representar sentenças atômicas.
Se eu sou feliz, você é infeliz, e se você é infeliz, eu não sou feliz.

Passo 1

Precisamos traduzir para a lógica proposicional as duas condicionais e conectá-las com “e”. Primeiro, escolhemos símbolos para as sentenças atômicas:
p: “Eu sou feliz.”
q: “Você é infeliz.”

Passo 2

A primeira parte “Se eu sou feliz, você é infeliz” vira
p \to q
A segunda parte “Se você é infeliz, eu não sou feliz” vira
q \to \neg p
Como há um “e” ligando as duas, juntamos usando conjunção:
(p \to q)\;\wedge\;(q \to \neg p)

Resposta

(p \to q)\wedge(q \to \neg p)

Exercícios relacionados