Changes

Jump to navigation Jump to search
180 bytes added ,  17:10, 7 October 2020
no edit summary
--><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 ==

Navigation menu