Modelos (lógica)

• Semântica formal para a lógica proposicional
• Semântica formal para a lógica de primeira ordem

Veja também

• Acarretamento (consequência semântica / EN: entailment)
• Introdução Computacional à Lógica Matemática

Links externos

• Acarretamento (Wikipédia)