Open main menu
  • Relação de acarretamento (ou consequência semântica, ou entailment) associada a uma propriedade unária, e suas meta-propriedades fundamentais

    [VIDEO]

  • Acarretamento associado a uma dada semântica

    [VIDEO]

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

    [VIDEO]

  • Da validade de fórmulas

    [VIDEO]

Para reflexão

Veja também

Links externos