Logica Matematica Trabajo Colb 1

TRABAJO COLABORATIVO 1

Universidad Nacional Abierta y a Distancia UNAD
Escuela de Ciencias Sociales, Artes y Humanidades
Programa de PSICOLOGIA
90004 LOGICA MATEMATICA
GRUPO 85

Tutor
Nevardo Alonso Ayala

LUZ DARY CAMARGO CHAPARRO
CC 30.937.772 Pto Carreño
BOGOTÁ D.C.
2011
INTRODUCCIÓN

El presente trabajo tiene como objetivo la apropiación de los saberes correspondientes almodulo de lógica matemática de la unidad l, esto corresponde a la guía propuesta donde encontraremos ejercicios como proposiciones y tablas de verdad, conectivos lógicos, proposiciones diagrama de ven etc.
El desarrollo del trabajo fue un poco complejo y se llevo mucho tiempo, pero gracias al apoyo del modulo y otras fuentes de información en internet fue posible su desarrollarlo y aprendizaje.A la parte de debajo de cada ejercicio propuesto coloqué la fuente de información y las paginas exactas del modulo que fueron de gran ayuda.
Fase 1. Saberes previos para la unidad: Teoría 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:Expresión 1: (C n A)U(B-A) 
Expresión 2: (B U A)-(A-C) 

Para este punto fue necesario trabajar con casi todo el apartado 1.8, en especial la parte en la que especifican como se representa gráficamente una proposición, empieza en la página 45 

Fase 2. Principios de lógica
2.1. En su aporte individual, cada estudiante debe plantear diez expresiones relacionadas con su programa deestudio, tal que cinco de las expresiones correspondan a proposiciones lógicas 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 lógicas:  | No son proposiciones lógicas  |
 Luz Dary Camargo | Yo estudio psicología  | La mente humana escompleja  |
  | Juan es arquitecto  | La realidad es duración  |
  | Mi  perro es pequeño  | La línea es mayor que el circulo  |
  | Mi amigo está loco  | El rojo es espiritual  |
  | El cielo está nublado  | Quizá llueva más tarde  |
 
Para esta parte se trabajo con el capitulo 1.7 proposiciones, pagina 38 

2. A continuación se propone identificar los conectivos lógicos y proposicionessimples presentes en cada expresión, posteriormente plantearán una expresión equivalente en lenguaje simbólico: 

Expresión  | premisas  | Lenguaje simbólico  |
La tolerancia es necesaria para la paz  | p = la tolerancia es necesaria para la paz  | p  |
Ser tolerante es el camino hacia la paz.  | p=ser tolerante es el camino hacia la paz  | P  |
Para aprender matemáticas es necesario serordenado y constante.    | p=aprender matemáticas q=ser ordenado r=ser constante  | qΛr)p |
Enseña a tus hijos a controlar sus impulsos y a desarmar su corazón y tendrán buena vida en la tierra.    | p=enseña a tus hijos a controlar sus impulsos q=Enseña a tus hijos a desarmar su corazón r=tus hijos tendrán buena vida en la tierra  | (pΛq)r |
Perseverancia, orden y amor por la tarea soncualidades de Ana.  | p=perseverancia es una cualidad de Ana q=orden es una cualidad de Ana r=amor por la tarea es una calidad de Ana  | (pΛqΛr)  |

Para este punto se trabajo con el apartado 1.7.1 que empieza en la pagina  39 

3. Las tablas de verdad nos permiten conocer el valor de verdad de una proposición compuesta para cada valor posible de las proposiciones simples que la conforman. Acontinuación, el equipo debe elaborar la tabla de verdad de las siguientes proposiciones lógicas, finalmente, deben clasificar la proposición como tautología, contradicción o contingente de acuerdo al resultado:  
p  | q  | r  | s  | p-->q  | r-->s  | p v r  | q v s  | (p-->q)Λ(r-->s)  | [(p-->q)Λ(r-->s)]Λ(pvr)  | {[(p-->q)Λ(r-->s)]Λ(pvr)}--> (q v s)  |
V | V | V | V...