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!
@@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.
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 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!
![Lógica de primeira ordem [11] - Semântica (1/2)](http://i.ytimg.com/vi/rBbVmyufduk/mqdefault.jpg)
![Lógica de primeira ordem [11] - Semântica (1/2)](/img/tr.png)
![Lógica de primeira ordem [11] - Definição de verdade (2/2)](http://i.ytimg.com/vi/CFXcz4GXE48/mqdefault.jpg)
Que aula incrível .
Obrigado pela aula. A fórmula Qaxy é uma Fórmula Aberta?
Professor, a Fórmula ∃y(∀x¬Px) é uma Fórmula Aberta? pois o "y" não se relaciona com nenhum Predicado.
Professor, a Fórmula ∃x (Qx ^ ¬Px) está correta? deixando o "∃x" fora dos parênteses
O link que voce deixou nao encaminha para a resposta dos exercicios que voce deixou na aula 9 (2/2)
Professor, dizer que uma Fórmula Não possui valor verdade significa dizer que se trata de uma Sentença Aberta? isto é, que não é uma proposição?
Professor, essa expressão
(3xQx)
considere o 3 como sendo o símbolo de existencial,
é uma fórmula?
Com os parênteses.
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!
@@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.
ÓTIMO!
Por que a música de fundo? Ela desconcentra! Melhor não usar.
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?
@@ELogicoPo estudo, sim! Curto bastante suas aulas! Têm me ajudado muito!
@@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!