Relação de consequência

From Logic Wiki
Revision as of 01:09, 20 September 2020 by Jmarcos (talk | contribs)
Jump to navigation Jump to search
  • 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