Last 5 Pages Viewed: Special:MobileDiff/1321 » Special:MobileDiff/589 » Definição recursiva da linguagem proposi... » Special:MobileDiff/256 » Special:MobileDiff/1292

Changes

Jump to navigation Jump to search
vídeo adicionado
--><p>{{#ev:youtube|WU57rb6AGRE}}</p>
* '''Denotações dos termos''' induzidos por uma assinatura de primeira ordem<!--
--><p>[VIDEO]{{#ev:youtube|LO4CZ6yvqfE}}</p>
* Noção de '''satisfação''' ''para fórmulas relacionais'' induzidas por uma assinatura de primeira ordem<!--
--><p>[VIDEO]</p>

Navigation menu