Fecha: 13 de junio de 2010
ACTIVIDAD 5 Definición de un proyecto educativo.
Nivel académico y subsistema o disciplina
Bachillerato (Escuela Nacional Preparatoria) ENP
Lógica (Cuarto año)
Unidad temática
Unidad VII. Cálculo Proposicional
Contenidos
7.1 Elementos del cálculo proposicional.
7.2 Clasificación de las proposiciones.
7.3 Las conectivas lógicas.
7.4 El lenguaje simbólico de la lógica proposicional.
7.5 Reglas sintácticas.
7.6 Tablas de verdad.
Título (opcional)
Población
Alumnos de cuarto año de bachillerato (aproximadamente 50)
Duración
14 horas aproximadamente
Propósitos
Se espera que los alumnos:
v Distingan entre diferentes tipos de proposiciones.
v Identifiquen la función de las conectivas lógicas.
v Operen el lenguaje simbólico de la lógica proposicional
v Apliquen las tablas de verdad para comprobar la verdad o falsedad de proposiciones.
Habilidades digitales
Localización de información en Internet.
Subir tareas a la plataforma.
Participar en foros.
Materiales
Plataforma Moodle
Cuestionarios
Actividades
Cuestionario diagnóstico sobre lógica simbólica.
Presentación electrónica: Elementos y funciones del cálculo proposicional.
- Consulta de textos recomendados en la biblioteca del plantel.
- Resolución de ejercicios en el aula.
Resolución de cuestionarios.
Foro para comentar la función de las conectivas.
Bibliografía de consulta para el profesor
Arnau, Hilari y Montaner, Pedro, Teoría y práctica de la lógica proposicional, Barcelona, Ediciones Vinces-Vives, 1997.
Copi, Irving y Cohen, Carl, Introducción a la lógica, México, Limusa, 2001.
Copi, Irving , Introducción a la lógica en Versión Electrónica. Vease:
http://www.quedelibros.com/libro/57760/Introduccion-a-la-logica.html
Sttebing, susan, Introducción a la lógica moderna, México, Fondo de Cultura Económica, 1985.
Suppes-Hill, Introducción a la Lógica matemática, Madrid, Reverté, 1995.