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.
Se está abaixo de zero, está também nevando.

Passo 1

O enunciado define duas proposições: p: “Está abaixo de zero.” q: “Está nevando.”
Queremos traduzir a frase “Se está abaixo de zero, está também nevando” para a linguagem da lógica proposicional, usando conectivos lógicos.

Passo 2

Na lógica proposicional, uma frase do tipo “Se A, então B” é formalizada pelo conectivo de implicação, que se escreve A \to B. Aqui A é a hipótese e B é a conclusão.

Passo 3

Comparando com a nossa frase, a hipótese é “está abaixo de zero” (proposição p) e a conclusão é “está nevando” (proposição q). Logo, a tradução lógica é p \to q.

Resposta

p \to q

Exercícios de Livros Relacionados