Sejam p, q e r as seguintes proposições:
p : “Ursos-cinzentos são vistos na área.”
q: “Fazer caminhada na trilha é seguro.”
r : “As bagas estão maduras ao longo da trilha.”
Escreva as seguintes proposições utilizando p, q, r e conectivos lógicos.
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 p: “Ursos-cinzentos são vistos na área.” r: “As bagas estão maduras ao longo da trilha.”
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 r.

Passo 3

A segunda parte diz “os ursos-cinzentos não são vistos na área.” Como “ursos-cinzentos são vistos na área” é p, sua negação é \lnot p.

Passo 4

O conectivo “mas” na lógica proposicional equivale à conjunção. Para juntar r e \lnot p usamos o “e” lógico, que é \wedge.

Resposta

r \wedge \lnot p

Exercícios relacionados