Relação de consequência

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

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

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

  [VIDEO]

• Noções de inconsistência

  [VIDEO]

Veja também

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