Relação de consequência

• 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

• Introdução Computacional à Lógica Matemática
• Dedução Natural
• Acarretamento (consequência semântica, entailment)
• Correção e completude