Considere que
e
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.
Passo 1
Temos as proposições
: “Nadar na praia em Nova Jersey é permitido”
: “Foram descobertos tubarões perto da praia”
O conectivo lógico é , que é um condicional cuja conclusão é a negação de
. Nosso objetivo é expressar isso em português natural.
O conectivo lógico é
Passo 2
O condicional
se lê “se
, então
”. Substituindo
e
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.