T_21 (por videoconferência no Zoom)
7 Janeiro 2022, 09: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, algoritmo da unificação, exemplos. Formal normal clausal. Algoritmo da resolução para a satisfazibilidade, exemplo.