Acarretamento

• 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]

Veja também

• Relação de consequência
• Relação de compatibilidade
• Semântica formal para a Lógica Proposicional Clássica
• Semântica formal para a Lógica de Primeira Ordem Clássica