Acarretamento

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

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

• Da validade de fórmulas

• Da verdade e da falsidade de fórmulas em uma interpretação de primeira ordem específica

• Acarretamentos associados a uma dada semântica de primeira ordem
  EmbedVideo is missing a required parameter.

Veja também

• Relação de consequência
• Semântica formal para a lógica proposicional
• Semântica formal para a lógica de primeira ordem
• Introdução Computacional à Lógica Matemática