Escreva as sentenças a seguir utilizando a linguagem da Lógica Proposicional. Utilize símbolos proposicionais para representar sentenças atômicas.
José virá à festa e Maria não gostará, ou José não virá à festa e Maria gostará da festa.

Passo 1

Vamos chamar de p a sentença “José virá à festa” e de q a sentença “Maria gostará da festa”. Na Lógica Proposicional, usamos \land para “e”, \lor para “ou” e \neg para “não”.

Passo 2

A frase “José virá à festa e Maria não gostará” vira \;p \land \neg q.
A frase “José não virá à festa e Maria gostará da festa” vira \;\neg p \land q.
Como as duas estão ligadas por “ou”, a tradução completa é:
(p \land \neg q)\;\lor\;(\neg p \land q)

Resposta

(p \land \neg q)\;\lor\;(\neg p \land q)

Exercícios relacionados