Lógica de primeira ordem [10] - Regras sintáticas

[@diogosouza5106]

Que aula incrível .

[@patriciasantoscanalbolsona6716]

ÓTIMO!

[@eduardoz398]

O link que voce deixou nao encaminha para a resposta dos exercicios que voce deixou na aula 9 (2/2)

[@carlostenzel]

Professor, essa expressão (3xQx) considere o 3 como sendo o símbolo de existencial, é uma fórmula?

[@carlostenzel]

Com os parênteses.

[@ELogicoPo]

Se formos seguir estritamente as regras apresentadas, (ƎxQx) não seria uma fórmula, porque a única cláusula em que os parênteses ocorrem é a das fórmulas compostas, e "ƎxQx" é uma fórmula geral formada a partir de uma fórmula atômica, que é Qx. Mas, geralmente, não há tanta rigidez em relação aos parênteses se não houver risco de ambiguidade. Então, poderíamos considerar que (ƎxQx) é uma fórmula para fins práticos. Valeu!

[@carlostenzel]

@@ELogicoPo Ok, muito obrigado pela explicação, e por responder tão rápido, essa questão eu tirei do livro do Mortari, e no livro a resposta correta seria que não é fórmula. Por isso fiquei em dúvida.

[@moniqueguedes2369]

Por que a música de fundo? Ela desconcentra! Melhor não usar.

[@ELogicoPo]

Boa noite. Tenho o costume de usá-la apenas para ambientar, preencher os espaços em que eu fico sem falar e disfarçar um pouquinho o chiado de fundo. Às vezes, a música fica um pouco alta mesmo, e acaba desconcentrando. Valeu pela dica! Aliás, você estuda no PPGLM?

[@moniqueguedes2369]

@@ELogicoPo estudo, sim! Curto bastante suas aulas! Têm me ajudado muito!

[@ELogicoPo]

@@moniqueguedes2369 Haha, mundo pequeno. Eu assisti às aulas de lógica nesse período também, mas como ouvinte. Tivemos a última aula hoje com o Décio. Fico feliz em saber que pude ajudar!