... elemental1
Aquí la palabra `elemental' no debe tomarse en un sentido técnico, esto es, para hacer referencia a la parte de la lógica en la que las variables toman valores entre los individuos de un conjunto y no se les asignan otros conjuntos o propiedades de individuos (lo que llamamos `lógica de primer orden' o `logica de predicados'). La palabra `elemental' la empleamos en un sentido coloquial, para indicar que el alcance de los temas seleccionados --si exceptuamos la Parte III-- y la profundidad con la que se abordan es de fácil comprensión o al menos no entraña dificultades insalvables para el lector que por primera vez se acerca a la lógica.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
... recurrentes2
Usando la terminología de Denning et al. [2].
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.