525
edits
Changes
Semântica formal para a Lógica de Primeira Ordem Clássica (view source)
Revision as of 03:55, 30 September 2020
, 03:55, 30 September 2020vídeo adicionado
* '''Denotações dos termos''' induzidos por uma assinatura de primeira ordem<!--
--><p>{{#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>
* Interpretação da '''igualdade''' como a ''identidade''<!--
--><p>[VIDEO]</p>