Resolução não é Completa

A resolução é uma regra de inferência correcta (gera fórmulas necessáriamente verdadeiras)

A resolução não é completa.

• Exemplo - A resolução não consegue derivar a seguinte consequência lógica: