--><p>{{#ev:youtube|ZqQ_tspmQRQ}}</p>
* Acarretamentos '''associados a uma semântica de primeira ordem'''<!--
--><p>{{#ev:youtube|8LKRvIX3KkY}}</p><!----><p>Também: Classes globais e locais (relativas a uma estrutura de interpretação fixa) de modelos que satisfazem uma fórmula; validade global e local de um sequente.</p>
== Para reflexão ==