Open main menu

Changes

no 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 ==