Escreva as sentenças a seguir utilizando a linguagem da Lógica Proposicional. Utilize símbolos proposicionais para representar sentenças atômicas.
Maurício virá à festa e Kátia não virá ou Maurício não virá à festa e Kátia ficará infeliz.
Maurício virá à festa e Kátia não virá ou Maurício não virá à festa e Kátia ficará infeliz.
Passo 1
O enunciado pede para traduzir uma frase natural para a linguagem da Lógica Proposicional, usando símbolos para as sentenças atômicas e conectivos ¬ (negação), ∧ (conjunção) e ∨ (disjunção).
Passo 2
Definimos as proposições atômicas:
P: “Maurício virá à festa”
Q: “Kátia virá à festa”
R: “Kátia ficará infeliz”
P: “Maurício virá à festa”
Q: “Kátia virá à festa”
R: “Kátia ficará infeliz”
Passo 3
Traduzimos cada parte:
“Maurício virá à festa e Kátia não virá” torna-se .
“Maurício não virá à festa e Kátia ficará infeliz” torna-se .
“Maurício virá à festa e Kátia não virá” torna-se
“Maurício não virá à festa e Kátia ficará infeliz” torna-se
Passo 4
Combinamos essas duas conjunções com disjunção, pois a frase original diz “ou” entre elas.