- ... 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].
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.