UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD

ESCUELA DE CIENCIAS BASICAS, TECNOLOGIA E INGENIERIA

LOGICA MATEMATICAS Act. 6 Trabajo Grupal

Presentado por: EDER JESS TORRES NAVARRO WILSON GABRIEL SANA DAZ JULIO CESAR MANTILLA

Presentado a: ELBER FERNANDO CAMELO QUINTERO

Barrancabermeja, Colombia 2013

INTRODUCCIN

Cuando deseamos establecer una verdad, cuando queremos convencer a alguien de que nuestra posicin o nuestras ideas son las correctas, recurrimos a un razonamiento o presentamos evidencia que respalda nuestras opiniones. Este razonamiento o evidencia presentada con el propsito de demostrar algo es un argumento. Por supuesto hay buenos y malos argumentos, en trminos muy vagos, la lgica es la ciencia que trata de distinguir los buenos argumentos de los malos argumentos. A continuacin pondr en prctica lo aprendido hasta este momento con respecto a temas como teoras de conjuntos, conectivos lgicos, proposiciones, deduccin e induccin y tratar de apropiar algunas palabras y smbolos que son nuevos; tambin es bastante importante tener en cuenta que la lgica nos lleva a reflexionar mas sobre nuestra actividades diarias y poner en prctica este tema que es realmente interesante.

1.

Diagrama de Venn, en la poblacin Colombiana.

Fase 1. Saberes previos para la unidad: Teora de conjuntos El ejercicio consiste en que usando diagramas de Venn representes la lgica relacional propuesta en el ejercicio, estableciendo toda clase de relaciones de inclusin, exclusin, interseccin y conjuncin entre estos conceptos y entre otros que a bien consideren pertinentes para representar dicha lgica relacional: El ejercicio: Haciendo uso de los diagramas de Venn, en el conjunto universal Poblacin Colombiana, el equipo har como producto de una pequea investigacin, una representacin de algunos problemas sociales en Colombia, para ello, deber representar como mnimo los conjuntos de: Mujeres, Poblacin desplazada, Drogadictos, Analfabetas, Fumadores, Pobreza y Desnutricin. En lugar de sombrear reas, el equipo deber llenar los espacios en el diagrama con las diferentes poblaciones representadas en porcentajes del total de la poblacin. Recuerde citar las referencias utilizadas.
POBLACIN COLOMBIANA 47.003.587 Hab.
43% DESPLAZADOS

45.5 % POBREZA

9.6 % ANALFABETAS 51.4 % MUJERES 39 % DESNUTRICION

36% DROGADICTOS

8 % FUMADORES

DESPLAZADOS POBREZA ANALFABETAS

MUJERES DROGADICTOS DESNUTRICION

FUMADORES

Por: Eder Torres DESPLAZADOS: (A) 43% POBREZA: (B) 45.5% ANALFABETAS: (C) 9.6% MUJERES: (D) 51.4% DROGADICTOS: (E) 36% DESNUTRICION: (F) 39% FUMADORES: (G) 8%

UNION: AUB= AUC= AUD= AUE= AUF= AUG= 88.5% 52.6% 94.4% 79% 82% 51% B U C = 55.1% B U D = 96.9% B U E = 81.5% B U F = 84.5% B U G= 53.5% C U D = 61% C U E = 45.6% C U F = 48.6% C U G = 17.6%

D U E = 79% D U F = 82% D U G = 51% EJEMPLO: AUB

E U F = 75% E U G = 44%

F U G = 47%

U A 43 % 45,5% B

A U B = {43%, 45.5%} A U B = {88.5%}

INTERSECCIN

Segn investigacin realizada se estima que en Colombia hay personas con ms de un problema social, en este caso nos basaremos a personas con dos (2) tipos de problemas sociales, algunos de estos datos estimados son los siguientes: Personas Desplazadas y viven en extrema pobreza: A = 28% Personas Analfabetas y Drogadictas: B = 19,4 % Personas Fuman y viven en Extrema Pobreza: C = 38% Personas Drogadictas: D = 36% Personas Desplazadas: E = 43% Personas en Extrema Pobreza: F = 45.5%

EJEMPLO:

EF
E 28 % F

43 %

45.5%

E F = {28%}

POBREZA (B) 45.5 %

DESPLAZADOS (A) 43 %

22% 10.5%

3%

13%

18 %

8%

DESNUTRICION (F) 39 %

DROGADICTOS (E) 36% 17 % 30.1%

MUJERES (G) 51,4 %

14%

5%

4.3%

0.6%

ANALFABETAS (C) 9.6%

Por: Wilson Sana

Mujeres de Colombia Desplazadas

100%

50.4%

12%

(A B) ( 50.4% - 12%)

Por: Julio Mantilla

2.

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 PREPOSICIONES LOGICAS EDER JESUS TORRES NAVARR PREPOSICIONES NO LOGICAS

Quiero ser Ingeniero Industrial.

Unas pelculas interesantes sobre la historia de la ingeniera

JULIO CESAR MANTILLA

Las matemticas son exactas A+B = C

WILSON GABRIEL SANA Algunos estudiantes de primer semestre de ing. Industrial asistieron a la prctica.

Los estudiantes de ing. Industrial son amables

3.

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

Expresin Si hay tolerancia, entonces hay paz Aprendemos matemticas cuando somos ordenados y constantes.

Premisas p = hay tolerancia q = hay paz p = aprendemos matemticas q =somos ordenados r = somos constantes

Lenguaje simblico pq

p(q^r)

Dos condiciones son necesarias y suficientes para tener una buena vida humana: Tener cario sincero y compaa inteligente.

p= tener cario sincero q=tener compaa inteligente r= tener una buena vida humana p = patricia es ordenada p= carne q= huevos r= lcteos s=vitamina A (p^q^r)s p

p^q=r

Patricia es ordenada. La vitamina A proviene de carnes, huevos y lcteos.

Si consumes carne o lcteos, adquieres protena y vitamina A

p=consume carne q=consume lcteos r=adquieres protena s= adquieres vitamina A (p^q) (r^s)

4.

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 la siguiente proposicin lgica, finalmente, deben clasificar la proposicin como tautologa, contradiccin o contingente de acuerdo al resultado:

p V V V V F F F F

q V V F F V V F F

r (pq) V V F V V F F F V V F V V V F V

(qr) V F V V V F V V

[(pq)V(qr)] V V V V V V V V

( p) F F F F V V V V

[(pq)V(qr)]( p) F F F F V V V V

A continuacin debes verificar el resultado obtenido, para hacerlo debes pegar en este espacio el pantallazo obtenido al usar el siguiente simulador: http://turner.faculty.swau.edu/mathematics/materialslibrary/truth/ Visita el material de apoyo para la primera unidad, en l encontrars un video para aprender a usarlo.

5.

A continuacin clasifica los siguientes enunciados como verdaderos, falso, proposicin atmica, proposicin molecular, no es proposicin (como V,F, PA,PM, NP,):

ENUNCIADOS Ejemplo Ejemplo Contraria Juan Manuel Santos es el presidente de Colombia Boole invent el Silogismo Una proposicin compuesta siempre es verdadera Botero es pintor o Gabriel Garca Mrquez es escultor Tales de Mileto es presocrtico y Scrates es agricultor Si los humanos somos seres racionales, entonces podemos construir una tica para vivir bien Hay paz en Colombia si y slo si los Colombianos nos escuchamos mutuamente El dinero sirve para comprar el afecto y el cario sinceros

NP x

PA PM V, F x X X X X X X X V F F F F V V F

6.

REFLEXIN DE LA LOGICA

Histricamente la palabra lgica ha ido cambiando de sentido. Comenz siendo una modelizacin de los razonamientos, propuesta por los filsofos griegos, y posteriormente ha evolucionado hacia diversos sistemas formales, relacionados con la teora. Etimolgicamente la palabra lgica deriva del trmino griego logiks derivado de logos razn. Histricamente se considera a Aristteles el fundador de la lgica como propedutica o herramienta bsica para todas las Ciencias, ya que fue el primero en formalizar completamente el campo. La lgica, nos ayuda a entender parte de los cambios en la estructuracin del entendimiento, en las formas y frmulas de pensar en la filosofa, la ciencia, y en el pensamiento formal, en la argumentacin, en la forma de clasificacin y otras ms. Se inici el estudio de la lgica durante la aparicin del hombre primitivo. De hecho, se ha distinguido al hombre del resto de los animales por sus capacidades de razonamiento lgico, o capacidades del pensamiento - capacidades lgicas-, esto es, razonar, deducir o inferir tal cosa ha ocurrido porque el hombre mismo ha establecido (unilateralmente) que es precisamente l, quien tiene la capacidad de razonamiento ms alta del reino animal. El ser humano poco a poco fue creando mecanismos para explicar el mundo que le rodeaba, incluyendo su futuro inmediato; esto significa que en esto el hombre buscaba tambin realizar predicciones y deducir las razones por las cuales las cosas ocurran de una y no de otra manera. Estas deducciones y predicciones no son entonces ms que explicaciones de eventos pasados, presentes y futuros. Hay que entender que el mundo que rodeaba al hombre primitivo comprenda tambin mitos y deidades. Es por ello que el hombre requiri un sistema totalmente imparcial, para el anlisis de la verdad de un conjunto de proposiciones reales o imaginarias, el cual pueda realizar por lo menos las siguientes funciones vlidas: 1) Indicar si el conjunto es consistente. Es decir, no hay proposiciones que se contradicen unas a otras. 2) Realizar deducciones de otras proposiciones verdaderas a partir del conjunto de proposiciones. 3) Inferir proposiciones que en otro tiempo (normalmente el futuro) podrn ser verdaderas o falsas.

CONCLUSIONES

La realizacin de este trabajo fortalece los conocimientos que tenemos respecto a la lgica matemtica entendiendo ms a fondo los contenidos que abarcan esta unidad, entre ellos tenemos las tablas de verdad que nos manifiestan los posibles valores de verdad de cualquier proposicin, en funcin de las proposiciones que la integran, y los conjuntos que son herramientas bsicas en la formulacin de cualquier teora matemtica. No obstante cabe resaltar la importancia que tuvo estos conocimientos adquiridos, para colocarlos en prctica en nuestra vida cotidiana y el entorno profesional.

REFERENCIAS BIBLIOGRFICAS

http://www.caracol.com.co/noticias/entretenimiento/mineducacion-elanalfabetismo-en-colombia-es-mayor-del-que-secreia/20070907/nota/477314.aspx http://www.dane.gov.co http://historico.elpais.com.co/paisonline/notas/Mayo012010/1pobreza.html http://www.acnur.org/t3/operaciones/situacion-colombia/desplazamientointerno-en-colombia/ http://www.elespectador.com/impreso/vivir/articulo-297906-colombia1672000-analfabetas http://www.caracol.com.co/noticias/economia/los-desplazados-en-colombiaviven-peor-que-los-pobres-e-indigentes/20070704/nota/448941.aspx http://www.elespectador.com/noticias/actualidad/vivir/articulo-389464-sinconsenso-sobre-cuantos-pobres-hay-latina