Escreva as sentenças a seguir utilizando a linguagem da Lógica Proposicional. Utilize símbolos proposicionais para representar sentenças atômicas.
Se os preços subirem, então haverá muitas casas para vender e elas serão caras; mas se as casas não forem caras, então, ainda assim, haverá muitas casas para vender.

Passo 1

O enunciado pede para traduzir frases condicionais em linguagem da Lógica Proposicional.

Passo 2

Definimos as proposições atômicas:
• p: “os preços subirem”
• q: “haverá muitas casas para vender”
• r: “elas serão caras”

Passo 3

A sentença “Se os preços subirem, então haverá muitas casas para vender e elas serão caras” vira a implicação
p to (q land r).
A frase “se as casas não forem caras, então, ainda assim, haverá muitas casas para vender” vira
lnot r to q.

Passo 4

Juntando as duas com conjunção, obtemos a fórmula final:
(p to (q land r)) land (lnot r to q)

Resposta

(p to (q land r)) land (lnot r to q)

Exercícios relacionados