lógica de predicados

Lógica de primer orden en ia: introducción y conceptos

Ejercicios de lógica para ia: desarrollo y beneficios

La lógica proposicional en ia: conocimiento y razonamiento