Proposiciones atómicas en ia: concepto y aplicaciones
Ejercicios de lógica para ia: desarrollo y beneficios