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>

== Para reflexão ==

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

== Veja também ==

* [[Formalismos dedutivos]]
* [[Acarretamento]] (consequência semântica, ''entailment'')
* [[Correção e completude]]
* [[Introdução Computacional à Lógica Matemática]]

== Links externos ==

* [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)]