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á ou nevando ou abaixo de zero, mas não está nevando se estiver abaixo de zero.

Passo 1

O enunciado diz que temos as proposições p: “Está abaixo de zero.” q: “Está nevando.”
E pede para traduzir a frase:
“Está ou nevando ou abaixo de zero, mas não está nevando se estiver abaixo de zero.”
Vamos usar os conectivos lógicos básicos: “ou” \lor, “e” \land, “se… então” \to e “não” \lnot.

Passo 2

Traduzimos “Está nevando ou abaixo de zero” pela disjunção: q \lor p.

Passo 3

Traduzimos “não está nevando se estiver abaixo de zero” como “se p então não q”, ou seja:
p \to \lnot q.

Passo 4

O “mas” indica conjunção entre as duas partes, logo a fórmula final é:
(q \lor p) \land (p \to \lnot q).

Resposta

(p \lor q)\land(p\to\lnot q)

Exercícios de Livros Relacionados