Open main menu

Changes

vídeo adicionado
* '''Alocações de valores para os símbolos de variável''' sobre uma estrutura de interpretação<!--
--><p>{{#ev:youtube|DvSK3t-7POQ}}</p>
* '''Modelos de primeira ordem''', e ''interpretações pretendidas'''<!--
--><p>{{#ev:youtube|Tuj0RRKuUSo}}</p>
* Alocações ''variantes'': coincidentes a menos de exceções locais<!--
--><p>[VIDEO]</p>
* '''Modelos de primeira ordem''', e ''interpretações pretendidas'''<!--
--><p>[VIDEO]</p>
* '''Denotações dos termos''' induzidos por uma assinatura de primeira ordem<!--