Considere que
e
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.
Passo 1
O enunciado pede para transformar a fórmula lógica
em uma frase em português, sabendo que
é “Nadar na praia dos Carneiros é permitido.”
é “Foram descobertos tubarões perto da praia.”
Passo 2
A negação de
é “Não foram descobertos tubarões perto da praia.”
A implicação “ ” tem a forma padrão “Se (não-q), então §.”
Logo, juntando as duas partes, obtemos a frase desejada.
A implicaçã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.