Changes

Jump to navigation Jump to search
ví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>

Navigation menu