LGICA MATEMTICA

TRABAJO REALIZADO POR DUMAR ROMERO MENDOZA

TUROR MIGUEL MONTES MONTAO DIRECTOR GEORFFREY ACEVEDO

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD TRABAJO COLABORATIVO

REALIZADO EL 01 DE OCTUBRE DEL 2011EN PAEZ BOYACINTRODUCCIN

Fase 1. Saberes previos para la unidad: Teora de conjuntos En este punto el equipo debe elegir dos expresiones entre las propuestas individualmente por cada participante, tal que mediante operaciones entre los conjuntos representen el rea sombreada:

Expresin 1: Expresin 2:

Fase 2. Principios de lgica 2.1. En su aporte individual, cada estudiante debe plantear diez expresiones relacionadas con su programa de estudio, tal que cinco de las expresiones correspondan a proposiciones lgicas y cinco expresiones que no puedan ser clasificadas como proposiciones. De stas expresiones, el equipo debe elegir una de las propuestas por cada participante:

Nombre del estudiante

Son proposiciones lgicas:

No son proposiciones lgicas

2.2. A continuacin se propone identificar los conectivos lgicos y proposiciones simples presentes en cada expresin, posteriormente plantearn una expresin equivalente en lenguaje simblico:

Expresin La tolerancia es necesaria para la paz Ser tolerante es el camino hacia la paz. Para aprender matemticas es necesario ser ordenado y constante. Ensea a tus hijos a controlar sus impulsos y a desarmar su corazn y tendrn buena vida en la tierra. Perseverancia, orden y amor por la tarea son cualidades de Ana.

premisas Lenguaje simblico p =La tolerancia (P^Q) Q=Necesaria para la paz P=Ser tolerante (P^Q) Q=Camino hacia a la paz P=para aprender (P^Q)^S matemticas. Q= Ser ordenado S= constante P=Ensea a tus a controlar (P^Q)^S sus impulsos Q= Desarmar su corazn. S=Tendrn buena vida en la tierra. P=perseverancia, orden. (P^Q) Q=Amor por la tarea son cualidades de Ana.

2.3. Las tablas de verdad nos permiten conocer el valor de verdad de una proposicin compuesta para cada valor posible de las proposiciones simples que la conforman. A continuacin, el equipo debe elaborar la tabla de verdad de las siguientes proposiciones lgicas, finalmente, deben clasificar la proposicin como tautologa, contradiccin o contingente de acuerdo al resultado:

TABLA DE LAS SIGUIENTES PROPOSICIONES

2.4. A continuacin debes pegar el pantallazo obtenido al usar el siguiente simulador para verificar el resultado obtenido. Visita el material de apoyo para la primera unidad para aprender a usarlo. http://turner.faculty.swau.edu/mathematics/materialslibrary/truth/ 2.5. Mediante una tabla de verdad, verifica la equivalencia entre las siguientes dos proposiciones:

Primera proposicin:

segunda proposicin:

2.6. Si el ganado es Jersey tendr buena leche, el equipo debe plantear las proposiciones contraria, recproca y contra recproca de esta expresin

Directa Contraria Recproca Contra recproca 2.7. Usando el siguiente diagrama de Venn como fuente de inspiracin, el equipo debe plantear expresiones contrarias, contradictorias y subcontrarias:

Expresin 1 Contrarias Contradictoria s Subcontrarias

Expresin 2

Fase 3. Reflexin grupal Finalmente, en esta fase, el equipo propondr una reflexin en una pgina sobre la evolucin histrica de la lgica, el equipo no debe hacer un recuento histrico con fechas, el propsito es plantear una reflexionar sobre la evolucin del pensamiento, descubriendo qu necesidades humanas han conducido al desarrollo de la lgica.

Conclusiones

Referencias

En orden alfabtico de acuerdo con las normas APA (tal y como fue propuesto en el ejemplo de la gua de la fase de reconocimiento:) En orden alfabtico y a espacio sencillo as: Primerapellido, Segundoapellido, Iniciadel nombre (aodepublicacin). Ttulo en cursiva. Universidad. Pas: Editorial. Si la fuente es de internet adicionas: Recuperado el 20 de agosto de: http:www.direccinelectrnica.nnn. Ejemplo: Autor, (ao). Ttulo. Nombre del sitio. Recuperado el 20 de agosto de :http:www.direccinelectrnica.com.