111
edits
Changes
Relação de consequência (view source)
Revision as of 20:38, 15 October 2020
, 20:38, 15 October 2020→Links externos
* Definição de '''relação de consequência''': versão tarskiana, unilateralista<!--
--><p>{{#ev:youtube|3eEXx4HN3AM}}</p><!--
--><p>TambémAcima, também: '''operação de consequência''', '''teoria''', '''finitariedade''', '''invariância por substituição'''</p>
* Noção de '''equivalência lógica'''<!--
--><p>[VIDEO]{{#ev:youtube|Et_hGh-XLnM}}</p>
* '''Congruencialidade''': enunciado e significado do Meta-teorema de Substitutividade de Equivalentes (EN: ''replacement theorem'')<!--
--><p>[VIDEO]{{#ev:youtube|fw8t7Kju3gI}}</p>
* Noções de '''inconsistência'''<!--
--><p>[VIDEO]{{#ev:youtube|DaBt0ZFVDtE}}</p>
== Para reflexão ==
* Quando podemos dizer que duas ''teorias'' (em uma mesma linguagem) são logicamente equivalentes?
== Veja também ==
* [[Introdução Computacional à Lógica Matemática]]* [[Dedução NaturalFormalismos 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)]