Prólogo. 1. La sintaxis de la Lógica. 2. La semántica de la Lógica. 3. El método axiomático. 4. El método interpretativo. 5. La demostración automática de teoremas. 6. Los Agentes Inteligentes y la Lógica. Bibliografía. Índice analítico.
El presente texto pretende servir de elemento base para la adquisición de los fundamentos, conceptos, componentes y enfoques del componente lógico de dichos sistemas.