Escreva cada uma das proposições compostas a seguir em notação simbólica usando as letras de proposição
para denotar as componentes.
Os ursos estarem infelizes significa que não há muitos peixes disponíveis e também que há muita neve.
Os ursos estarem infelizes significa que não há muitos peixes disponíveis e também que há muita neve.
Passo 1
Vamos atribuir as seguintes proposições atômicas:
: “Há muitos peixes disponíveis.”
: “Há muita neve.”
: “Os ursos estão infelizes.”
Passo 2
A frase “não há muitos peixes disponíveis” corresponde à negação de
, ou seja,
.
A frase “há muita neve” corresponde a .
O conectivo “e” entre essas duas partes vira conjunção: .
A frase “há muita neve” corresponde a
O conectivo “e” entre essas duas partes vira conjunção:
Passo 3
O enunciado diz que “os ursos estarem infelizes significa que não há muitos peixes disponíveis e também que há muita neve.”
Em lógica, “significa que” pode ser formalizado como equivalência (se e somente se).
Em lógica, “significa que” pode ser formalizado como equivalência (se e somente se).