Relação de consequência

From Logic Wiki
Jump to navigation Jump to search
  • 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