Considere que
e
são as proposições:
p: “Está abaixo de zero.”
: “Está nevando.”
Escreva estas proposições usando
e conectivos lógicos.
Está abaixo de zero, mas não está nevando.
p: “Está abaixo de zero.”
Escreva estas proposições usando
Está abaixo de zero, mas não está nevando.
Passo 1
O enunciado define duas proposições:
: “Está abaixo de zero.”
: “Está nevando.”
E pede para expressar “Está abaixo de zero, mas não está nevando.” usando ,
e conectivos lógicos.
E pede para expressar “Está abaixo de zero, mas não está nevando.” usando
Passo 2
Em lógica, a palavra “mas” funciona como conjunção, isto é, usamos o conectivo “e”, representado por
.
A expressão “não está nevando” é a negação de , representada por
.
A expressão “não está nevando” é a negação de
Passo 3
Portanto, juntando “
” com “
” via conjunção, obtemos a fórmula: