Parte II
Lógicas de base

3 Lógica de proposiciones
 3.1 Conceptuaciones
 3.2 Sintaxis
 3.3 Semántica
 3.4 Implicación y equivalencia
 3.5 Teoría del dominio
 3.6 Inferencias deductivas
 3.7 Sistemas deductivos
 3.8 Sistemas con resolución
4 Lógica de predicados de primer orden
 4.1 Conceptuaciones
 4.2 Sintaxis
 4.3 Semántica
 4.4 Implicación y equivalencia
 4.5 Teoría del dominio
 4.6 Inferencias deductivas
 4.7 Sistemas deductivos
 4.8 Sistemas con resolución
 4.9 Un lenguaje de implementación: Prolog