Anteproyecto. Actividad 5.

Nombre del profesor: Eloísa Amalia González Reyes
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

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