T_21

5 Janeiro 2021, 10:30 • Mário Jorge Edmundo

Notas sobre satisfazibilidade e consequência lógica e, satisfazibilidade e verdade lógica; substituições, unificador, unificador mais geral e algoritmo da unificação; exemplos;  forma normal clausal; algoritmo da resolução para a satisfazibilidade; exemplo.