Cibernous-Lógica, 2º Premio de Materiales Curriculares de CNICE 2002, realizado por Elena Diez de la Cortina, es otro clásico muy interesante y de gran calidad, para abordar la Lógica Formal.
Este material dispone de Contenidos, centrados en la Lógica de enunciados: 1 Introducción a la lógica clásica elemental: lógica de enunciados y de predicados; 2. Enunciados y conectores; 3. Tipos de deducción: la deducción directa y la indirecta o reducción al absurdo; 4. Valores de verdad de los enunciados: las tablas de verdad; 5. Reglas elementales del cálculo de enunciados (juntores); 6. Reglas derivadas del cálculo de juntores; 7. El método de las tablas semánticas o árboles lógicos. (La lógica de predicados quedó pendiente de desarrollo). Tambien pone a disposición una interesantes Herramientas: "Aplicaciones interactivas de Lógica". Finalmente un conjunto de ejercicios y juegos interactivos.
RECOMENDACIONES DE USO:
Esta unidad aborda parte de los contenidos del apartado 3 del Bloque 3 "Relación lingüística y simbólica del sujeto con el mundo: Lógica formal e informal" del currículo de Extremadura. Muy recomendable, sobre todo por el amplio conjunto de actividades de aprendizaje, que permite que el alumnado realice prácticas de los aprendido de forma autónoma.
Contenidos relacionados
