Changes

--><p>[VIDEO]{{#ev:youtube|QL_mxL3_QVg}}</p>

--><p>[VIDEO]{{#ev:youtube|DvSK3t-7POQ}}</p>* '''Modelos de primeira ordem''', e ''interpretações pretendidas''<!----><p>{{#ev:youtube|Tuj0RRKuUSo}}</p>

--><p>[VIDEO]{{#ev:youtube|WU57rb6AGRE}}</p>

--><p>[VIDEO]{{#ev:youtube|LO4CZ6yvqfE}}</p>* Noção de '''satisfação''' ''para fórmulas relacionais'' e ''para fórmulas quantificadas'' induzidas por uma assinatura de primeira ordem<!----><p>[VIDEO]</p>* Noção de '''satisfação''' ''para fórmulas quantificadas''<!----><p>[VIDEO]{{#ev:youtube|S4bDWqwCGZ4}}</p>

--><p>[VIDEO]{{#ev:youtube|RTlRlxsRzjA}}</p>

== Noção Noções de acarretamento associada associadas ==

* Versões alternativas de '''consequência Consequência semântica''' para a Lógica de Primeira Ordem Clássica:<!----><p>ver [[VIDEOAcarretamento]]</p>

* 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?* Em que situações lhe pareceria viável generalizar o algoritmo das tabelas de verdade, disponível no caso proposicional, para verificar a satisfatibilidade de fórmulas de primeira ordem?

* [[Sintaxe da Lógica lógica de Primeira Ordemprimeira ordem]]* [[Semântica formal para a Lógica Proposicional Clássicalógica de primeira ordem]]

*[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)]