Considere que
e
são proposições:
: Está abaixo de zero.
: Está nevando.
Escreva estas proposições usando
e conectivos lógicos.
Se está abaixo de zero, está também nevando.
Escreva estas proposições usando
Se está abaixo de zero, está também nevando.
Passo 1
O enunciado define duas proposições:
: “Está abaixo de zero.”
: “Está nevando.”
Queremos traduzir a frase “Se está abaixo de zero, está também nevando” para a linguagem da lógica proposicional, usando conectivos lógicos.
Queremos traduzir a frase “Se está abaixo de zero, está também nevando” para a linguagem da lógica proposicional, usando conectivos lógicos.
Passo 2
Na lógica proposicional, uma frase do tipo “Se
, então
” é formalizada pelo conectivo de implicação, que se escreve
. Aqui
é a hipótese e
é a conclusão.
Passo 3
Comparando com a nossa frase, a hipótese é “está abaixo de zero” (proposição
) e a conclusão é “está nevando” (proposição
). Logo, a tradução lógica é