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:
Last updated
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:
Last updated