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.
José virá à festa e Maria não gostará, ou José não virá à festa e Maria gostará da festa.
Passo 1
Vamos chamar de
a sentença “José virá à festa” e de
a sentença “Maria gostará da festa”. Na Lógica Proposicional, usamos
para “e”,
para “ou” e
para “não”.
Passo 2
A frase “José virá à festa e Maria não gostará” vira
.
A frase “José não virá à festa e Maria gostará da festa” vira .
Como as duas estão ligadas por “ou”, a tradução completa é:
A frase “José não virá à festa e Maria gostará da festa” vira
Como as duas estão ligadas por “ou”, a tradução completa é: