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.
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:
: “Eu sou feliz.”
: “Você é infeliz.”
Passo 2
A primeira parte “Se eu sou feliz, você é infeliz” vira
A segunda parte “Se você é infeliz, eu não sou feliz” vira
Como há um “e” ligando as duas, juntamos usando conjunção: