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

Para reflexão

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

Veja também

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

Links externos

• Fórmula (lógica) (Wikipédia)
• Relação binária (Wikipédia)
• Consequência lógica (Wikipédia)