525
edits
Changes
Semântica formal para a Lógica de Primeira Ordem Clássica (view source)
Revision as of 13:41, 6 October 2020
, 13:41, 6 October 2020no edit summary
* '''Estruturas de interpretação''' para uma assinatura de primeira ordem<!--
--><p>{{#ev:youtube|QL_mxL3_QVg}}</p>
* Interpretação da '''igualdade''' como a ''identidade''<!--
--><p>{{#ev:youtube|RTlRlxsRzjA}}</p>
== Para reflexão ==
== Veja também ==
* [[Sintaxe da Lógica lógica de Primeira Ordemprimeira ordem]]* [[Semântica formal para a Lógica Proposicional Clássicalógica de primeira ordem]]
* [[Acarretamento]] (consequência semântica, ''entailment'')
* [[Quantificadores]]