Sejam
e
as seguintes proposições:
: “Ursos-cinzentos são vistos na área.”
q: “Fazer caminhada na trilha é seguro.”
: “As bagas estão maduras ao longo da trilha.”
Escreva as seguintes proposições utilizando
e conectivos lógicos.
As bagas estão maduras ao longo da trilha, mas os ursos-cinzentos não são vistos na área.
q: “Fazer caminhada na trilha é seguro.”
Escreva as seguintes proposições utilizando
As bagas estão maduras ao longo da trilha, mas os ursos-cinzentos não são vistos na área.
Passo 1
O enunciado pede para traduzir uma frase em linguagem natural para lógica proposicional. As proposições são
: “Ursos-cinzentos são vistos na área.”
: “As bagas estão maduras ao longo da trilha.”
Devemos usar conectivos lógicos para combinar essas proposições.
Devemos usar conectivos lógicos para combinar essas proposições.
Passo 2
A primeira parte da frase é “As bagas estão maduras ao longo da trilha.” Isso corresponde exatamente à proposição
.
Passo 3
A segunda parte diz “os ursos-cinzentos não são vistos na área.” Como “ursos-cinzentos são vistos na área” é
, sua negação é
.
Passo 4
O conectivo “mas” na lógica proposicional equivale à conjunção. Para juntar
e
usamos o “e” lógico, que é
.