Open main menu

Acarretamento

Revision as of 04:05, 25 September 2020 by Jmarcos (talk | contribs) (vídeo adicionado)
  • Relação de acarretamento (ou consequência semântica, ou entailment) associada a uma propriedade unária, e suas meta-propriedades fundamentais

  • Acarretamento associado a uma dada semântica

  • Da validade de sequentes e da correção de regras

  • Da validade de fórmulas

Para reflexão

Veja também

Links externos