EC-IA · Aula 05
Resolução Proposicional
Acompanhe a prova por refutação até a cláusula vazia.
Exemplo
Próximo passo
Reiniciar
Problema
KB
Consulta α
Estado da prova
Aguardando o primeiro passo.
Derivação