View source for Relação de consequência

* Definição de '''relação de consequência''': versão tarskiana, unilateralista<!--
--><p>{{#ev:youtube|3eEXx4HN3AM}}</p><!--
--><p>Acima, também: '''operação de consequência''', '''teoria''', '''finitariedade''', '''invariância por substituição'''</p>
* Noção de '''equivalência lógica'''<!--
--><p>{{#ev:youtube|Et_hGh-XLnM}}</p>
* '''Congruencialidade''': enunciado e significado do Meta-teorema de Substitutividade de Equivalentes (EN: ''replacement theorem'')<!--
--><p>{{#ev:youtube|fw8t7Kju3gI}}</p>
* Noções de '''inconsistência'''<!--
--><p>{{#ev:youtube|DaBt0ZFVDtE}}</p>