>> Razonar con “lógica”, con lógica de primer orden, es el título del primer tema de la asignatura Matemáticas-1 de los grados de Ingeniería Multimedia y de Ingeniería Informática. Es un tema introductorio que nos acerca al proceso de razonar desde el enfoque de la lógica de primer orden. Contiene las características de esta lógica y de otros sistemas lógicos, un apunte histórico breve y una colección de ejercicios resueltos, bibliografía, links y anécdotas divertidas basadas en estructuras lógicas.