Open main menu

Relação de consequência

Revision as of 01:53, 21 September 2020 by Jmarcos (talk | contribs) (vídeo adicionado)
  • 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

    [VIDEO]

Para reflexão

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

Veja também

Links externos