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.
Se as bagas estão maduras ao longo da trilha, fazer caminhada é seguro se e somente se os ursos-cinzentos não forem vistos na área.
Escreva estas proposições usando
Se as bagas estão maduras ao longo da trilha, fazer caminhada é seguro se e somente se os ursos-cinzentos não forem vistos na área.
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.”
Ele pede para traduzir a frase “Se as bagas estão maduras ao longo da trilha, fazer caminhada é seguro se e somente se os ursos-cinzentos não forem vistos na área” usando ,
,
e conectivos lógicos. Aqui aparece uma condicional (“Se
, então …”) e uma bicondicional (“… se e somente se …”).
Ele pede para traduzir a frase “Se as bagas estão maduras ao longo da trilha, fazer caminhada é seguro se e somente se os ursos-cinzentos não forem vistos na área” usando
Passo 2
A parte “fazer caminhada é seguro se e somente se os ursos-cinzentos não forem vistos na área” corresponde à bicondicional
Passo 3
Como essa bicondicional só vale quando
é verdadeira (ou seja, “se as bagas estão maduras, então …”), colocamos uma condicional em torno dela: