Lógica M.C. Juan Carlos Olivares Rojas. Agenda Representación del Conocimiento Lógica de Proposiciones Lógica de Predicados Deducción Automática.