Considere que p e q são as 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

Temos as proposições p: “Está abaixo de zero.” q: “Está nevando.”
Queremos traduzir a frase “Está ou nevando ou abaixo de zero, mas não está nevando se estiver abaixo de zero.”

Passo 2

A parte “Está ou nevando ou abaixo de zero” é uma disjunção. Em lógica, isso vira q \lor p

Passo 3

A parte “não está nevando se estiver abaixo de zero” é uma implicação negativa: se p ocorre, então \neg q. Em lógica, isso vira p \to \lnot q

Passo 4

Para juntar as duas condições usamos a conjunção. Assim, a tradução completa é
(q \lor p)\land(p\to\lnot q)

Resposta

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

Exercícios relacionados