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 semântica proposicional

• Acarretamentos associados a uma semântica de primeira ordem

  Também: classes globais e locais (relativas a uma estrutura de interpretação fixa) de modelos que satisfazem uma fórmula; validade global e validade local de um sequente.

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