Escreva cada uma das proposições compostas a seguir em notação simbólica usando as letras de proposição
para denotar as componentes.
Ter muitos peixes disponíveis é uma condição suficiente para ursos ficarem felizes.
Ter muitos peixes disponíveis é uma condição suficiente para ursos ficarem felizes.
Passo 1
O enunciado afirma “Ter muitos peixes disponíveis é condição suficiente para ursos ficarem felizes”. Esse tipo de afirmação corresponde a uma implicação na lógica proposicional.
Passo 2
Definimos as proposições atômicas:
: “Há muitos peixes disponíveis.”
: “Ursos estão felizes.”
Passo 3
Em lógica, “A é condição suficiente para B” equivale a
Aplicando a
e a
, obtemos: