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 é uma condição necessária para muita neve.
Os ursos estarem infelizes é uma condição necessária para muita neve.
Passo 1
O enunciado nos diz que “os ursos estarem infelizes” é condição necessária para “muita neve”. Em lógica de proposições vamos traduzir as duas afirmações básicas e depois usar a definição de condição necessária.
Passo 2
Definimos as variáveis:
: “Os ursos estão infelizes.”
: “Há muita neve.”
(Observação: a letra não aparece neste enunciado, pois só precisamos de
e
.)
(Observação: a letra
Passo 3
Recordamos que dizer “
é condição necessária para
” equivale a “se
então
”, ou seja,
Passo 4
Aplicando ao nosso caso, “os ursos estarem infelizes é condição necessária para muita neve” vira