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.
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.
q: “Fazer caminhada na trilha é seguro.”
Escreva as seguintes proposições utilizando
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 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 afirma:
“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.”
E afirma:
“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 2
A expressão “sempre que A, então B” corresponde à implicação lógica
Aqui, o antecedente é “
e
” (ursos vistos e bagas maduras) e o consequente
é “caminhada não é segura”, ou seja
.
Aqui, o antecedente
Passo 3
Substituindo na forma de implicação, obtemos