Considere que p e q são proposições:
p : Está abaixo de zero.
q : Está nevando.
Escreva estas proposições usando p, q e conectivos lógicos.
Está abaixo de zero, mas não está nevando.

Passo 1

O enunciado define as proposições p: “Está abaixo de zero.” q: “Está nevando.”
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 q, ou seja \lnot q. Logo, para dizer simultaneamente que p é verdadeira e que q é falsa, usamos a conjunção de p com \lnot q.

Resposta

p \land \lnot q

Exercícios de Livros Relacionados