Considere que p, q e r são as proposições:
p : Você está com gripe.
q : Você perde a prova final.
r : Você foi aprovado no curso.
Expresse cada uma destas proposições compostas como uma sentença em português.
\neg q \leftrightarrow r

Passo 1

O enunciado define as proposições p: “Você está com gripe.” q: “Você perde a prova final.” r: “Você foi aprovado no curso.”
e pede a tradução da fórmula composta \neg q \leftrightarrow r.

Passo 2

A negação de q, isto é \neg q, significa
“você não perde a prova final.”

Passo 3

O conectivo bicondicional “ \leftrightarrow” se lê “se e somente se” e indica que as duas proposições têm valor de verdade idêntico.

Passo 4

Substituindo \neg q por “você não perde a prova final” e r por “você foi aprovado no curso”, obtemos a frase:
“Você não perde a prova final se e somente se você foi aprovado no curso.”

Resposta

Você não perde a prova final se e somente se você foi aprovado no curso.

Exercícios de Livros Relacionados