Open main menu

Relação de consequência

Revision as of 01:09, 20 September 2020 by Jmarcos (talk | contribs)
  • 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]

  • Congruencialidade: enunciado e significado do Meta-teorema de Substitutividade de Equivalentes (EN: replacement theorem)

    [VIDEO]

  • Noções de inconsistência

    [VIDEO]

Para reflexão

Veja também

Links externos