Difference between revisions of "Relação de consequência"

From Logic Wiki
Jump to navigation Jump to search
(adicionando video)
Tag: 2017 source edit
Tag: 2017 source edit
 
(4 intermediate revisions by one other user not shown)
Line 3: Line 3:
 
--><p>Acima, também: '''operação de consequência''', '''teoria''', '''finitariedade''', '''invariância por substituição'''</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'''<!--
 
* Noção de '''equivalência lógica'''<!--
--><p>[VIDEO]</p>
+
--><p>{{#ev:youtube|Et_hGh-XLnM}}</p>
 
* '''Congruencialidade''': enunciado e significado do Meta-teorema de Substitutividade de Equivalentes (EN: ''replacement theorem'')<!--
 
* '''Congruencialidade''': enunciado e significado do Meta-teorema de Substitutividade de Equivalentes (EN: ''replacement theorem'')<!--
 
--><p>{{#ev:youtube|fw8t7Kju3gI}}</p>
 
--><p>{{#ev:youtube|fw8t7Kju3gI}}</p>
 
* Noções de '''inconsistência'''<!--
 
* Noções de '''inconsistência'''<!--
--><p>[VIDEO]</p>
+
--><p>{{#ev:youtube|DaBt0ZFVDtE}}</p>
  
 
== Para reflexão ==
 
== Para reflexão ==
  
*  
+
* Quando podemos dizer que duas ''teorias'' (em uma mesma linguagem) são logicamente equivalentes?
  
 
== Veja também ==
 
== Veja também ==
  
* [[Introdução Computacional à Lógica Matemática]]
+
* [[Formalismos dedutivos]]
* [[Dedução Natural]]
 
 
* [[Acarretamento]] (consequência semântica, ''entailment'')
 
* [[Acarretamento]] (consequência semântica, ''entailment'')
 
* [[Correção e completude]]
 
* [[Correção e completude]]
 +
* [[Introdução Computacional à Lógica Matemática]]
  
 
== Links externos ==
 
== 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)]

Latest revision as of 20:38, 15 October 2020

  • Definição de relação de consequência: versão tarskiana, unilateralista

    Acima, também: operação de consequência, teoria, finitariedade, invariância por substituição

  • Noção de equivalência lógica

  • Congruencialidade: enunciado e significado do Meta-teorema de Substitutividade de Equivalentes (EN: replacement theorem)

  • Noções de inconsistência

Para reflexão

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

Veja também

Links externos