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.
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”
• 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
.
A frase “se as casas não forem caras, então, ainda assim, haverá muitas casas para vender” vira
.
A frase “se as casas não forem caras, então, ainda assim, haverá muitas casas para vender” vira
Passo 4
Juntando as duas com conjunção, obtemos a fórmula final: