Exercicis i proves objectives de lògica per representar el coneixement

Este libro contiene las soluciones de los ejercicios del libro «Lògica per representar el coneixement», número 95 de la colección Materials Didàctics editada por la Universidad de las Illes Balears. Aunque se ha diseñado como material didáctico para una amplia variedad de cursos de lógica clásica, va especialmente dirigido a los alumnos de Informática de Sistemas y de Informática de Gestión. Se divide en cuatro partes: Lógica básica, Lógica de proposiciones, Lógica de predicados y Pruebas objetivas. La primera recoge y ordena en un solo capítulo algunos ejercicios de introducción informal e intuitiva de la lógica; en las dos siguientes, de tres capítulos cada una, se presentan ejercicios de las lógicas de proposiciones y de predicados sobre la representación y la valoración; la última recoge y ordena algunas pruebas objetivas que han ido apareciendo desde el inicio de este curso de lógica en la UIB.