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.

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”

Passo 3

Traduzimos cada parte:
“Maurício virá à festa e Kátia não virá” torna-se P land lnot Q.
“Maurício não virá à festa e Kátia ficará infeliz” torna-se lnot P land R.

Passo 4

Combinamos essas duas conjunções com disjunção, pois a frase original diz “ou” entre elas.

Resposta

(P land lnot Q) lor (lnot P land R)

Exercícios relacionados