Last updated 2 years ago
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:
