Sintaxis, semántica, validez e inferencia en la lógica de predicados.
Instituto Tecnológico de Comitán Ingeniería en Sistemas Computacionales Asignatura: Inteligencia Artificial Docente: Ing. Mónica Laurent León Juárez Datos: Ana Lía Gómez Gómez 20700600
