525
edits
Changes
Semântica formal para a Lógica de Primeira Ordem Clássica (view source)
Revision as of 11:22, 26 September 2020
, 11:22, 26 September 2020no edit summary
* '''Alocações de valores para os símbolos de variável''' sobre uma estrutura de interpretação<!--
--><p>[VIDEO]</p>
* Alocações ''variantes'': coincidentes a menos de exceções locais''<!--
--><p>[VIDEO]</p>
* '''Denotações dos termos''' induzidos por uma assinatura de primeira ordem<!--
--><p>[VIDEO]</p>
* Noção de '''satisfação''' ''para fórmulas quantificadas''<!--
--><p>[VIDEO]</p>
* Interpretação da '''igualdade''' como a identidade<!--
--><p>[VIDEO]</p>
== Veja também ==
* [[Sintaxe da Lógica de Primeira Ordem]]
* [[Semântica formal para a Lógica Proposicional Clássica]]
* [[Acarretamento]] (consequência semântica, ''entailment'')
* [[Quantificadores]]