525
edits
Changes
Semântica formal para a Lógica de Primeira Ordem Clássica (view source)
Revision as of 15:15, 6 October 2020
, 15:15, 6 October 2020no edit summary
== Interpretações ==
* '''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>
== Noções de acarretamento associadas ==
* Consequência semântica para a Lógica de Primeira Ordem Clássica<!--
--><p>VIDEO</p>
== Para reflexão ==