525
edits
Changes
Semântica formal para a Lógica de Primeira Ordem Clássica (view source)
Revision as of 15:45, 22 October 2020
, 15:45, 22 October 2020no edit summary
== Noções de acarretamento associadas ==
* '''Consequência semântica''' para a Lógica de Primeira Ordem Clássica:<!----><p>ver [VIDEO[Acarretamento]]</p>
== Para reflexão ==
* Como você procederia para tentar verificar a seguinte igualdade? <math>[\![ t [x \mapsto u ] ]\!]^{<I,\rho>} = [\![ t ]\!]^{<I,\rho[x := [[u]]^{<I,\rho>} ]>}</math>
* O que você acha que deve mudar, na interpretação de fórmulas relacionais, no contexto de uma semântica para a ''Lógica de Primeira Ordem Intuicionista''? O que dizer, também, da interpretação de fórmulas quantificadas, nesta lógica? Por fim, como você acha que a relação de ''desigualdade'' poderia ser afetada, no caso intuicionista?
* Como você demonstraria a ''correção'' da regra de congruencialidade do símbolo de igualdade?
== Links externos ==
*[http://pt.wikipedia.org/wiki/L%C3%B3gica_de_primeira_ordem Lógica de Primeira Ordem]* [http://pt.wikipedia.org/wiki/Interpreta%C3%A7%C3%A3o_%28l%C3%B3gica%29 Interpretação (lógica)]* [http://pt.wikipedia.org/wiki/Valora%C3%A7%C3%A3o_%28l%C3%B3gica%29 Valoração (lógica)]