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.
\neg q \rightarrow p

Passo 1

O enunciado define as proposições p: “Nadar na praia em Nova Jersey é permitido.” q: “Foram descobertos tubarões perto da praia.”
E pede a tradução para o português da fórmula composta \neg q \rightarrow p.

Passo 2

Primeiro, interpretamos \neg q. A negação de q é “não foram descobertos tubarões perto da praia.”

Passo 3

Em seguida, reconhecemos que a seta \rightarrow representa a estrutura “se … então …”. No caso, o antecedente é \neg q e o conseqüente é p.

Passo 4

Agora juntamos as duas partes na forma “Se \neg q, então p.”
Substituindo as expressões em português, obtemos a frase desejada.

Resposta

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

Exercícios de Livros Relacionados