Taller de Lógica

Nombre del profesor

Eloísa A. González Reyes.
Nivel académico y subsistema o disciplina

Nivel Medio Superior (Bachillerato) de la Escuela Nacional Preparatoria. Plantel “José Vasconcelos” (5).
Asignatura
Lógica (Cuarto año de Bachillerato)

Unidad temática y contenidos
Unidad VII. Cálculo Porposicional
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.

PROPUESTA
1. Función de las conectivas lógicas.
2. Elaboración de tablas de verdad.
3. Elementos del lenguaje simbólico de la Lógica proposicional.

Población
Alumnos de cuarto año de bachillerato
Grupo 409 (aproximadamente 40 alumnos)
Duración
14 horas aproximadamente, 6 horas se trabajarán en forma presencial y 8 de trabajo extra clase.
Propósitos
1. Propósitos del programa oficial:

v Distinguir entre diferentes tipos de proposiciones.
v Identificar la función de las conectivas lógicas.
v Operar el lenguaje de la lógica proposicional.
v Aplicar las tablas de verdad para comprobar la verdad o falsedad de proposiciones.
v
2. Propósitos del profesor.
Se espera que los alumnos:
v Sepan distinguir en diferentes textos proposiciones simples y compuestas.
v Identifiquen en contextos cotidianos y científicos la función que desempeñan las conectivas lógicas.
v Conozcan y sepan usar el lenguaje simbólico de la lógica proposicional
v Construyan y sepan aplicar las tablas de verdad para comprobar la verdad o falsedad de diferentes proposiciones.

Habilidades digitales

Actividad 1: Función de las conectivas lógicas.

Para esta actividad se requiere:
A. Uso de Internet.
a. Como fuente de información y recursos
Aa1.2 Búsqueda de información en Internet como complemento a una investigación en medios impresos.
Justificación: Para llevar a cabo esta actividad el alumno debe buscar información en Internet sobre la función que desempeñan las diferentes conectivas lógicas. También es necesario que analice y seleccione la información que obtuvo.
c. Como medio de creación de contenidos.
Ac1.2. Inclusión de ligas a videos o videos y textos dentro del blog.
Justificación: El alumno requiere el uso de estas herramientas para subir un podcast a un bloger.
c. Presentación de información y procesamiento de datos.
b. Presentador.
Cb2.1 Uso del presentador integrando diversos medios (sonido, música, imágenes, video), ligas a diferentes diapositivas de la misma presentación, a otras presentaciones, archivos o sitios en Internet.
Justificación: El alumno requiere de estas herramientas para integrar su actividad.
D. Manejo de medios (audio, imagen y video)
D2.2 Producción de imágenes, archivos de audio y video mediante varios programas especializados como Picnic (software libre) Audacity y Movie Maker.
Justificación: Para realizar esta actividad es importante que el alumno conozca herramientas y cómo manejar Audacity para poder elaborar su podcast.
_______________________________________________________
Actividad 2: Elaboración de tablas de verdad.

Para esta actividad se requiere:
A. Uso de Internet.
a. Como fuente de información y recursos
Aa1.1 localización de información específica en un sitio de Internet.
Aa1.2 Búsqueda de información en Internet como complemento a una investigación en medios impresos.
Justificación: Para llevar a cabo esta actividad el alumno debe buscar información en Internet sobre la elaboración de tablas de verdad y revisar un tutorial en una dirección especifica.
b como medio de comunicación
Ab1.1 Uso del correo electrónico. Distinción de contextos comunicativos. Uso adecuado del lenguaje.
Justificación: El alumno requiere de este medio para comunicarse con su maestra o asesora y con sus compañeros.
C. presentación de información y procesamiento de datos.
a. Procesador de textos
C.2.1 Manejo avanzado del procesador de textos (opciones de formato, columna, tabla, cuadro de texto, inserción de imágenes desde el disco duro, celular o cámara digital, impresión de ambas caras)
Justificación: El alumno requiere del manejo avanzado del procesador de textos para elaborar tablas de verdad.
________________________________________________________
Actividad 3. Elementos del lenguaje formal de la lógica proposicional.

A. Uso de Internet.
a. Como fuente de información y recursos
Aa1.1 localización de información específica en un sitio de Internet.
Justificación: Para realizar esta actividad el alumno debe tener acceso a información en Internet sobre diversos artículos sobre el lenguaje formal de la lógica.
c. Presentación de información y procesamiento de datos.
b. Presentador.
Cb2.1 Uso del presentador integrando diversos medios (sonido, música, imágenes, video), ligas a diferentes diapositivas de la misma presentación, a otras presentaciones, archivos o sitios en Internet.
Justificación: El alumno requiere de estas herramientas para realizar su presentación.

Materiales
Equipo de cómputo
Acceso a Internet
Sistema operativo Windows xp o Vista
Navegador Explorer o Mozilla Firefox
Software para presentaciones electrónicas
Programas para editar imágenes, audio y video.
Editor de audio (Audacity)
Cuenta de correo gmail
Cámara digital , ipod
Celular para capturar imágenes, audio y video
USB
Disco C.D
Cañón y pantalla blanca
Cables y extensiones eléctricas
Salón
Pizarrón
Descripción de las actividades

Actividad 1: Función de las conectivas lógicas.

Actividades en el salón de clases:

La profesora:
Presentará los propósitos, los aprendizajes esperados, el contenido que se va a tratar, la metodología general y la forma de evaluación de la actividad que van a realizar.
v Explicará cómo realizar la búsqueda y recuperación de información actualizada.
v Organizará al grupo en equipos y asignará roles para que trabajen de manera colaborativa.
v Explicará los alumnos en qué consiste un Podcast, cómo realizar un guión previo que contenga: Título, desarrollo, cierre y créditos y ofrecerá la dirección de algunos ejemplos de Podcast. (Como los que elabora la Asociación Mexicana de Filosofía)
v Presentará a los alumnos el programa de Audacity para la edición de su Podcast y de ser posible ofrecerá en forma impresa el tutorial del Diplomado H@bitat Puma.
v Organizará sesiones para asesorar a los alumnos en la realización de su guión: Diálogos, cuestionario guía, sonidos diversos, musicalización, etc.

Actividades extra clases:
La profesora:
Elaborará un libro que contenga información sobre las conectivas lógicas.
Creará un foro de discusión para que los alumnos argumenten en relación a que es lo que propicia que cada una de las conectivas lógicas tenga funciones diferentes.

Actividades en el salón de clase

Los alumnos:
v Se organizaran en equipos y asignaran roles para que trabajar de manera colaborativa en la elaboración del Podcast.

v Elaborarán un guión previo para el Podcast que contenga: Título, desarrollo, cierre y créditos.

Actividades extra-clase
Los alumnos:
Elaborarán un Podcast sobre la función de las siguientes conectivas lógicas: negación, conjunción, disyunción inclusiva, disyunción exclusiva, condicional y bicondicional.

Recabarán información actualizada en Internet sobre el tema: Función de las conectivas lógicas.
Revisarán el tutorial del software Audacity
Editarán en equipo archivos de audio con el software Audacity para su podcast.
Los alumnos subirán su Podcast en el Blog de Blogger “Taller de lógica” que previamente se creará para la asignatura y se invitará a otros estudiantes del plantel a escuchar y realizar comentarios.

Productos
El producto final que el alumno obtendrá será un Podcast que contenga información complementaria y ejemplos sobre la función de las conectivas lógicas.
Con la finalidad de confirmar si la información contenida en el Podcast ha sido asimilada por el estudiante se puede aplicar un cuestionario elaborado por el profesor, sin embargo, si el Podcast es didáctico los alumnos asimilarán la información contenida en él.
Actividad 2: Elaboración de Tablas de verdad

Actividades en el salón de clase

La profesora:

v Realizara en clase una presentación de los objetivos, aprendizajes esperados, el contenido del documento y la forma de evaluación de la actividad que van a realizar los alumnos.
v Organizará al grupo en equipos y les asignará actividades para que los alumnos trabajen de manera colaborativa.
v Explicará los pasos o etapas que se siguen en la elaboración de tablas de verdad.
v Explicará de manera detallada los elementos que debe contener el archivo que los alumnos deben subir a la plataforma Moodle.

Actividades extra clases:
La profesora:

Elaborará un libro con información del tema: Tablas de verdad.

Subirá a la plataforma Moodle el tutorial Cómo hacer una tabla de verdad: http://www.screencast-o-matic.com/watch/c6nfcrh7a Consultado el 28 de octubre de 2010

Elaborará una tarea (subida de un archivo) en la plataforma Moodle.

Construirá un foro para resolver dudas sobre la elaboración de las tablas de verdad.

Revisará los trabajos subidos por los alumnos en la tarea de la plataforma Moodle.

Actividades en el salón de clase

Los alumnos:

v Se organizaran en equipos y asignaran roles para trabajar de manera colaborativa en la actividad relativa a la elaboración de tablas de verdad.

v Elaborarán ejercicios en clase para construir tablas de verdad.

Actividades extra clases:

Los alumnos:

Revisarán la información contenida en el libro: Tablas de verdad.
Organizados en equipos los alumnos realizarán un documento en Word con los siguientes elementos:

1. Resumen de qué es una tabla de verdad y cuáles son sus elementos.

2. Descripción en forma ordenada de los pasos o etapas que se siguen en la elaboración de una tabla de verdad.

3. Proporcionar ejemplos de tablas de verdad con las siguientes características: 2 ejemplos de proposiciones con una letra enunciativas; 3 ejemplos con dos letras enunciativas; 2 ejemplos con 3 letras enunciativas en los que se muestren claramente los pasos o etapas que se siguieron hasta encontrar el resultado final.

4. Decidir de acuerdo al resultado final de las proposiciones del inciso c), si se trata de proposiciones contradictorias, contingentes o tautologías.

Una vez realizada esta actividad subirán el archivo a la plataforma.

Avisarán a su maestra por el correo electrónico del envío de su tarea en la plataforma.

Productos que obtienen los alumnos:

El producto final que obtiene el alumno es un documento que contiene en forma resumida los pasos para elaborar tablas de una, dos y tres variables.

Cuestionario de evaluación.

Actividad 3 Elementos del lenguaje formal de la lógica proposicional.

Actividades en el salón de clase
La profesora:

v Explicará con detalle la realización de las actividades correspondientes a la actividad 3, que consiste en realizar una presentación en Power Point de los elementos que componen el lenguaje simbólico de la lógica proposicional.

v Dividirá al grupo en 5 equipos, cada equipo leerá y resumirá un artículo sobre cada uno de los elementos que integran el lenguaje simbólico de la lógica.

v Proporcionará asesoría y orientará a los alumnos para la elaboración de su trabajo.

Actividades extra clases:
La profesora:

La profesora enlazará a la plataforma Moodle algunos sitios con artículos interesantes en Internet sobre el lenguaje formal o simbólico de la lógica.

Revisará y corregirá la presentación en Power Point que conjuntamente realicen los alumnos.

Creará un Foro en donde los alumnos argumentarán sobre las ventajas y desventajas del lenguaje simbólico de la lógica.

Actividades en el salón de clase:

Los alumnos:

v Por equipos los alumnos elegirán y leerán un artículo sobre cada una de las partes que conforman el lenguaje artificial o simbólico de la lógica proposicional.

v Cada equipo expondrá en clase una síntesis de los respectivos artículos que leyeron.

Actividades extra clases:
Los alumnos:

Realizarán una presentación en Power Point en donde integrarán cada uno de los elementos que trabajaron y resumieron por equipo acerca de los elementos del lenguaje simbólico de la lógica.

Subirán su presentación electrónica a la plataforma Moodle.

Modificarán de acuerdo a las observaciones de la profesora y volverán a subir su presentación corregida.

Los alumnos grabarán en un CD su presentación.
Diseñarán e imprimirán la etiqueta y portada del CD
Reproducirán el CD para los integrantes del grupo.

v Para demostrar lo que aprendieron, en forma individual realizarán en clase ejercicios de formalización de proposiciones.

Bibliografía de consulta para el profesor
Arnau, Hilari y Montaner, Pedro. (1997) Teoría y práctica de la lógica proposicional, Barcelona, Ediciones Vinces-Vives.
Badesa, Calixto, et. al, (2001) Elementos de lógica formal, Barcelona, Ariel, 2007.
Copi, Irving y Cohen, Carl. (2001)Introducción a la lógica, México, Limusa, 2001.
Copi, Irving, Introducción a la lógica en Versión Electrónica. Véase:
http://www.quedelibros.com/libro/57760/Introduccion-a-la-logica.html
Jeffrey, Richard. (1999) Lógica formal su alcance y sus límites, Pamplona, Ediciones Universidad de Navarra, S.A., Pamplona, 1999.
Suppes-Hill. (1995) Introducción a la Lógica matemática, Madrid, Reverté..

Programa de Estudios de la asignatura de Lógica. 1996 4to año. Escuela Nacional Preparatoria.

DIRECCIONES WEB:
Artículos:
El lenguaje formal:
http://portales.educared.net/wikiEducared/index.php?title=L%C3%B3gica_proposicional#Proposici.C3.B3n_conjuntiva Consultado el 26 de octubre de 2010.
El lenguaje de proposiciones y El lenguaje de la lógica proposicional:
http://www.mitecnologico.com/Main/ElLenguajeDeProposiciones Consultado el 26 de octubre de 2010.

Cálculo proposicional
http://www.liccom.edu.uy/bedelia/cursos/metodos/unidad-III_logica-simbolica.pdf Consultado el 26 de octubre de 2010.
Garrido Bernabeu Felipe, Apuntes de Lógica:
http://dl.dropbox.com/u/547063/Filosofia%201%20Bach/apuntes%20de%20l%C3%B3gica%20%E2%80%93%201%C2%BA%20bachiller.pdf Consultado el 26 de octubre de 2010.

Video: “Proposiciones atómicas y moleculares”
http://www.youtube.com/watch?v=-__WsCq-peM&feature=player_embedded#! Consultado el 26 de octubre de 2010.
Tutorial: Cómo hacer una tabla de verdad http://www.screencast-o-matic.com/watch/c6nfcrh7a Consultado el 28 de octubre de 2010