Changes

* Definição de '''relação de consequência''': versão tarskiana, unilateralista<!--[VIDEO]--><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'')<!--[VIDEO]--><p>{{#ev:youtube|fw8t7Kju3gI}}</p>* Noções de '''inconsistência'''<!--[VIDEO]--><p>{{#ev:youtube|DaBt0ZFVDtE}}</p>

* Quando podemos dizer que duas ''teorias'' (em uma mesma linguagem) são logicamente equivalentes?

*[http://pt.wikipedia.org/wiki/F%C3%B3rmula_%28l%C3%B3gica%29 Fórmula (lógica) (Wikipédia)]* [http://pt.wikipedia.org/wiki/Rela%C3%A7%C3%A3o_bin%C3%A1ria Relação binária (Wikipédia)]* [http://pt.wikipedia.org/wiki/Consequ%C3%AAncia_l%C3%B3gica Consequência lógica (Wikipédia)]