Considere que
e
são proposições:
: Ursos-cinzentos são vistos na área.
: Fazer caminhada na trilha é seguro.
: As bagas estão maduras ao longo da trilha.
Escreva estas proposições usando
e conectivos lógicos.
Caminhada não é segura ao longo da trilha sempre que os ursos-cinzentos são vistos na área e as bagas estão maduras ao longo da trilha.
Escreva estas proposições usando
Caminhada não é segura ao longo da trilha sempre que os ursos-cinzentos são vistos na área e as bagas estão maduras ao longo da trilha.
Passo 1
O enunciado pede para traduzir uma frase em linguagem natural para lógica proposicional, usando as variáveis
,
e
e conectivos lógicos. O conteúdo é “lógica proposicional” e vamos precisar dos conectivos “e”
, “não”
e “se … então”
.
Passo 2
Identificamos o antecedente (a condição) da implicação. A frase diz “sempre que os ursos-cinzentos são vistos na área e as bagas estão maduras ao longo da trilha”, isto é,
e
. Em lógica isso vira
Passo 3
Identificamos o consequente (o que ocorre sob essa condição): “caminhada não é segura ao longo da trilha”, que corresponde a “não
”, isto é,
Passo 4
Montamos a implicação com antecedente e consequente identificados. A tradução final é