Considere que
e
são proposições:
: Está abaixo de zero.
: Está nevando.
Escreva estas proposições usando
e conectivos lógicos.
Está abaixo de zero, mas não está nevando.
Escreva estas proposições usando
Está abaixo de zero, mas não está nevando.
Passo 1
O enunciado define as proposições
: “Está abaixo de zero.”
: “Está nevando.”
E pede para traduzir a frase “Está abaixo de zero, mas não está nevando.” usando conectivos da lógica proposicional.
E pede para traduzir a frase “Está abaixo de zero, mas não está nevando.” usando conectivos da lógica proposicional.
Passo 2
Na lógica, o conectivo “mas” equivale ao “e” (conjunção) em termos de valor-verdade, mas com ênfase em contraste. A parte “não está nevando” é a negação de
, ou seja
. Logo, para dizer simultaneamente que
é verdadeira e que
é falsa, usamos a conjunção de
com
.