T_21

2 Dezembro 2022, 09:30 • Mário Jorge Edmundo

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