Correcção, Completude

Correção

Diz-se que um conjunto de regras de inferência é correcto se todas as fórmulas que gera são consequência lógicas.

Completude

Diz-se que um conjunto de regras de inferência é completo se permite gerar todas as consequências lógicas.

Um sistema de inferência correcto e completo permite tirar consequências lógicas sem ter que analisar caso a caso as várias interpretações.