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á ou nevando ou abaixo de zero, mas não está nevando se estiver abaixo de zero.
p: “Está abaixo de zero.”
Escreva estas proposições usando
Está ou nevando ou abaixo de zero, mas não está nevando se estiver abaixo de zero.
Passo 1
Temos as proposições
: “Está abaixo de zero.”
: “Está nevando.”
Queremos traduzir a frase “Está ou nevando ou abaixo de zero, mas não está nevando se estiver abaixo de zero.”
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
Passo 3
A parte “não está nevando se estiver abaixo de zero” é uma implicação negativa: se
ocorre, então
. Em lógica, isso vira
Passo 4
Para juntar as duas condições usamos a conjunção. Assim, a tradução completa é