Open main menu

Changes

no edit summary
* Da '''verdade''' e da '''falsidade''' de fórmulas em uma estrutura de interpretação de primeira ordem específica<!--
--><p>{{#ev:youtube|j41Sw3dJ1rU}}</p>
 
* Da validade global de um sequente, e da validade de um sequente em uma estrutura de interpretação específica<!--
--><p>[VIDEO]</p>
== Para reflexão ==