Escreva cada uma das proposições compostas a seguir em notação simbólica usando as letras de proposição
para denotar as componentes.
Há muita neve se e somente se não há muitos peixes disponíveis.
Há muita neve se e somente se não há muitos peixes disponíveis.
Passo 1
O enunciado pede para traduzir a frase “Há muita neve se e somente se não há muitos peixes disponíveis” para a linguagem da lógica proposicional, usando as letras de proposição
,
e
.
Passo 2
Associamos cada letra ao seu enunciado elementar:
: “Há muita neve”
: “Há muitos peixes disponíveis”
: “Não há muitos peixes disponíveis”
Passo 3
Repare que “se e somente se” corresponde ao conectivo bicondicional, simbolizado por
.
Passo 4
Como o segundo termo já está dado por
, a tradução simbólica fica: