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.
Ursos-cinzentos não são vistos na área e fazer caminhada na trilha é seguro, mas as bagas estão maduras ao longo da trilha.
q: “Fazer caminhada na trilha é seguro.”
Escreva as seguintes proposições utilizando
Ursos-cinzentos não são vistos na área e fazer caminhada na trilha é seguro, mas as bagas estão maduras ao longo da trilha.
Passo 1
O enunciado define as proposições
: “Ursos-cinzentos são vistos na área.”
: “Fazer caminhada na trilha é seguro.”
: “As bagas estão maduras ao longo da trilha.”
E pede para expressar a frase “Ursos-cinzentos não são vistos na área e fazer caminhada na trilha é seguro, mas as bagas estão maduras ao longo da trilha” usando conectivos lógicos. Vamos precisar de negação e conjunção.
E pede para expressar a frase “Ursos-cinzentos não são vistos na área e fazer caminhada na trilha é seguro, mas as bagas estão maduras ao longo da trilha” usando conectivos lógicos. Vamos precisar de negação e conjunção.
Passo 2
Traduzimos cada parte em termos de
,
e
:
– “Ursos-cinzentos não são vistos na área” corresponde a .
– “Fazer caminhada na trilha é seguro” corresponde a .
– “As bagas estão maduras ao longo da trilha” corresponde a .
– “Ursos-cinzentos não são vistos na área” corresponde a
– “Fazer caminhada na trilha é seguro” corresponde a
– “As bagas estão maduras ao longo da trilha” corresponde a
Passo 3
As palavras “e” e “mas” indicam conjunção na lógica proposicional, ou seja,
. Logo, juntamos as três proposições por
. Uma forma é
que é logicamente equivalente a