Considere que
e
são as proposições:
: Você está com gripe.
: Você perde a prova final.
: Você foi aprovado no curso.
Expresse cada uma destas proposições compostas como uma sentença em português.
Expresse cada uma destas proposições compostas como uma sentença em português.
Passo 1
O enunciado define as proposições
: “Você está com gripe.”
: “Você perde a prova final.”
: “Você foi aprovado no curso.”
e pede a tradução da fórmula composta .
e pede a tradução da fórmula composta
Passo 2
A negação de
, isto é
, significa
“você não perde a prova final.”
“você não perde a prova final.”
Passo 3
O conectivo bicondicional “
” se lê “se e somente se” e indica que as duas proposições têm valor de verdade idêntico.
Passo 4
Substituindo
por “você não perde a prova final” e
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.”
“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.