Para transformar as fórmulas em sentenças, devemos substituir cada proposição simples por suas orações declarativas equivalentes, e os símbolos pela estrutura lógica que eles representam.

❑ A) A casa é bonita e a porta é pequena

❑ B) Se a casa é bonita, então a porta é pequena

❑ C) A casa não é bonita

❑ D) Se a casa é bonita e a porta é pequena, então a janela é grande

❑ E) Se a casa é bonita ou porta é pequena e a janela é grande, então a porta é pequena

❑ F) A casa é bonita ou a porta é pequena

❑ G) Se a casa é bonita, então a porta é pequena

❑ H) A casa não é bonita ou a janela não é grande

❑ I)  Se a casa é bonita, então a porta é pequena ou se a casa é bonita, então, a janela é grande

❑ J) Q→ (P^R) = Se a porta é pequena, então a casa é bonita e a janela é grande

O símbolo ^ representa a conjunção (e)

O símbolo → representa a implicação lógica (se, então)

O símbolo - representa a negação (não)

O símbolo v representa a disjunção simples (inclusiva)

Veja outras respostas no :