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