Considere que p e q são as proposições: “Nadar na praia dos Carneiros é permitido.” e “Foram descobertos tubarões perto da praia.”, respectivamente. Expresse cada uma das proposições compostas a seguir como uma sentença em português.
\neg q \rightarrow p

Passo 1

O enunciado pede para transformar a fórmula lógica \neg q \rightarrow p em uma frase em português, sabendo que p é “Nadar na praia dos Carneiros é permitido.” q é “Foram descobertos tubarões perto da praia.”

Passo 2

A negação de q é “Não foram descobertos tubarões perto da praia.”
A implicação “ \neg q \rightarrow p” tem a forma padrão “Se (não-q), então §.”
Logo, juntando as duas partes, obtemos a frase desejada.

Resposta

Se não foram descobertos tubarões perto da praia, então nadar na praia dos Carneiros é permitido.

Exercícios relacionados