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

Passo 1

Temos as proposições p: “Nadar na praia em Nova Jersey é permitido” q: “Foram descobertos tubarões perto da praia”
O conectivo lógico é p \rightarrow \neg q, que é um condicional cuja conclusão é a negação de q. Nosso objetivo é expressar isso em português natural.

Passo 2

O condicional p \rightarrow \neg q se lê “se p, então \neg q”. Substituindo p e \neg q pelos seus enunciados em português, obtemos:
Se nadar na praia em Nova Jersey é permitido, então não foram descobertos tubarões perto da praia.

Resposta

Se nadar na praia em Nova Jersey é permitido, então não foram descobertos tubarões perto da praia.

Exercícios relacionados