ESCUELA DE CIENCIAS BSICAS, TECNOLOGA E INGENIERA

90004 Lgica Matemtica

Gua de Actividades y Rbrica de evaluacin
Act No. 6. Trabajo Colaborativo 2

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA

LGICA MATEMTICA

Trabajo grupal de calificacin individual No.1

Presenta
ANGELICA MARIA QUIONEZ DELGADO
CODIGO: 1.110.445.920
JHON GUZMAN VALDERRAMA
LINA PATRICIA MOSQUERA GUZMAN
1110443676

Tutor
YERMAN AUGUSTO HERNANDEZ

Director de curso
Georffrey Acevedo Gonzlez
1 8 DE ABRIL DEL 2013

Docente diseador: Georffrey Acevedo G.

1
 ESCUELA DE CIENCIAS BSICAS, TECNOLOGA E INGENIERA
90004 Lgica Matemtica
Gua de Actividades y Rbrica de evaluacin
Act No. 6. Trabajo Colaborativo 2

Introduccin

A travs del desarrollo de esta actividad buscamos profundizar en los conocimientos

adquiridos por nosotros los integrantes del grupo colaborativo sobre las temticas y
contenidos de la UNIDAD 1 del modulo de lgica matemtica y de las lecturas
complementarias suministradas por el tutor de nuestro curso.

Este trabajo colaborativo se hace referencia a las proposiciones como parte de la lgica
matemtica y su funcin dentro de ella. A travs del desarrollo del trabajo se presentan
ejemplos de los las diferentes clases de proposiciones, su clasificacin e interpretacin y
se hace uso de las tablas de verdad como herramienta lgica para determinar el valor de
verdad de las proposiciones evaluadas.

Desde nuestro punto de vista, se pretendemos lograr interactuar en equipo, generar

liderazgo e inducir a nuestros compaeros de grupo colaborativo a participar y a valorar la
importancia de realizar aportes significativos e importantes para la construccin de un
trabajo grupal que genere conocimiento y que sea coherente y meritorio de ser
compartido con otros grupos de personas o estudiantes de esta modalidad.

Docente diseador: Georffrey Acevedo G.

1
 ESCUELA DE CIENCIAS BSICAS, TECNOLOGA E INGENIERA
90004 Lgica Matemtica
Gua de Actividades y Rbrica de evaluacin
Act No. 6. Trabajo Colaborativo 2

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.

APORTE MATEMATIHHYYHHJ

42.888.594 POBLACION TOTAL

El 51,4% son mujeres http://es.wikipedia.org/wiki/Demograf%C3%ADa_de_Colombia

10.3% DESPLAZADOS http://www.elespectador.com/articulo138808-poblacion-desplazada-colombia-alcanza-

los-43-millones-de-personas

9,6 % POBLACION ANALFABETA http://www.caracol.com.co/noticias/entretenimiento/mineducacion-el-

analfabetismo-en-colombia-es-mayor-del-que-se-creia/20070907/nota/477314.aspx

45 %por ciento de la poblacin colombiana es pobre http://www.caracol.com.co/noticias/economia/mas-de-

19-millones-de-pobres-e-indigentes-tiene-colombia-dice-el-gobierno/20070327/nota/407433.aspx

0.93 % PERSONAS DROGADICTAS http://www.eltiempo.com/archivo/documento/MAM-548457

11.9 % de fumadores en Colombia. http://virtual.usergioarboleda.edu.co/login/index.php

11.6 % DE PERSONAS CON DESNUTRICION http://www.eltiempo.com/colombia/medellin/ARTICULO-WEB-

NEW_NOTA_INTERIOR-12327421.html

Docente diseador: Georffrey Acevedo G.

1
 ESCUELA DE CIENCIAS BSICAS, TECNOLOGA E INGENIERA
90004 Lgica Matemtica
Gua de Actividades y Rbrica de evaluacin
Act No. 6. Trabajo Colaborativo 2

Mujeres 51.4 Hombres 48.6

Pobreza: 45 %

Desplazados: 10.3%

Analfabeta: 9.6 %

Drogadicto: 0.93

Fumadores: 11.9 %

Desnutricin: 11.6 %

Docente diseador: Georffrey Acevedo G.

1
 ESCUELA DE CIENCIAS BSICAS, TECNOLOGA E INGENIERA
90004 Lgica Matemtica
Gua de Actividades y Rbrica de evaluacin
Act No. 6. Trabajo Colaborativo 2

Fase 2. Principios de lgica

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
ANGELICA MARIA QUIONEZ 1. La primera parte del programa es Existen conjuntos cerrado
DELGADO fcil de comprender

2. si estudio lgica voy a adquirir la La lgica se clasifica en formal y no

destreza para interpretas los formal
diferentes tipos de razonamiento.

3. si tengo claridad en todos los Estudio mucha matemtica

conceptos de estudio de lgica
obtendr buenos resultados

4. si hago aportaciones importantes Los conjuntos son representaciones

para la elaboracin del trabajo simblicas
obtendr una buena nota

5. En la unad todas las clases son Utilizo lgica

virtuales

Docente diseador: Georffrey Acevedo G.

1
 ESCUELA DE CIENCIAS BSICAS, TECNOLOGA E INGENIERA
90004 Lgica Matemtica
Gua de Actividades y Rbrica de evaluacin
Act No. 6. Trabajo Colaborativo 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 premisas Lenguaje simblico

Ejempl Si hay tolerancia, entonces p = hay tolerancia pq

o hay paz q = hay paz

Aprendemos matemticas p=aprendemos P (q ^ r)

matemticas
cuando somos ordenados
y constantes. q=somos ordenados

r:somos constantes

Dos condiciones son p=son necesarias

necesarias y suficientes q= Son suficientes

para tener una buena vida
r= Tener una vida humana [ (P^q) (S^T) r]
humana: Tener cario
sincero y compaa s=Tener cario sincero

inteligente. t=tener compaa inteligente

Patricia es ordenada. No hay una

proposicin lgica

La vitamina A proviene de p:la viatmina a

carnes, huevos y lcteos. (q ^ r) p

q .carne

r: lacteos

Si consumes carne o p=consume carne (p v q) ( r ^s)

lcteos, adquieres q=consume lcteos

protena y vitamina A
r=aquieres protena

s_=adquieres vitamina A

Docente diseador: Georffrey Acevedo G.

1
 ESCUELA DE CIENCIAS BSICAS, TECNOLOGA E INGENIERA
90004 Lgica Matemtica
Gua de Actividades y Rbrica de evaluacin
Act No. 6. Trabajo Colaborativo 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 la siguiente
proposicin lgica, finalmente, deben clasificar la proposicin como tautologa,
contradiccin o contingente de acuerdo al resultado:

p- [(p->q)v(q->r)]-
P q r >q q->r -p (p->q)v(q->r) >(-p)

Contingent
V V V V V F V F e

Contradict
V V F V F F V F oria

Contradict
V F V F V F V F oria

Contradict
V F F F V F V F oria

F V V V V V V V Tautologa

F V F V F V V V Tautologa

F F V V V V V V Tautologa

F F F V V V V V Tautologa

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.

Docente diseador: Georffrey Acevedo G.

1
 ESCUELA DE CIENCIAS BSICAS, TECNOLOGA E INGENIERA
90004 Lgica Matemtica
Gua de Actividades y Rbrica de evaluacin
Act No. 6. Trabajo Colaborativo 2

Docente diseador: Georffrey Acevedo G.

1
 ESCUELA DE CIENCIAS BSICAS, TECNOLOGA E INGENIERA
90004 Lgica Matemtica
Gua de Actividades y Rbrica de evaluacin
Act No. 6. Trabajo Colaborativo 2

4. A continuacin clasifica los siguientes enunciados como verdaderos, falso,

proposicin atmica, proposicin molecular, no es proposicin (como V,F, PA,PM,
NP,):

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

Docente diseador: Georffrey Acevedo G.

1
 ESCUELA DE CIENCIAS BSICAS, TECNOLOGA E INGENIERA
90004 Lgica Matemtica
Gua de Actividades y Rbrica de evaluacin
Act No. 6. Trabajo Colaborativo 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.

La evolucin de la ciencia moderna y muy especialmente, el desarrollo del

pensamiento matemtico, da origen a la lgica como disciplina exacta. La lgica
matemtica se considera hoy una importante realizacin de nuestro mundo
cultural y su crdito aument por las aplicaciones a computadores y mecanismos
automticos. . La lgica matemtica ya no es puramente formal, est formalizada.

La lgica matemtica cuestiona con rigor los conceptos y las reglas de deduccin
utilizados en matemticas lo que convierte la lgica en una especie de
metamatemtica. Una teora matemtica considera objetos definidos -enteros, por
ejemplo- y define leyes que relacionan a estos objetos entre s, los axiomas de la
teora. De los axiomas se deducen nuevas proposiciones -los teoremas-, y a
veces, nuevos objetos. La construccin de sistemas formales de la lgica
matemtica-, permite eliminar la arbitrariedad en la eleccin de los axiomas y
definir explcita y exhaustivamente las reglas de la deduccin matemtica.

Docente diseador: Georffrey Acevedo G.

1
 ESCUELA DE CIENCIAS BSICAS, TECNOLOGA E INGENIERA
90004 Lgica Matemtica
Gua de Actividades y Rbrica de evaluacin
Act No. 6. Trabajo Colaborativo 2

Conclusiones

Conclusiones

Las proposiciones y su valor de verdad ayudan a determinar de una manera

lgica la veracidad o falsedad de los enunciados.

Las tablas de verdad son una herramienta prctica que sintetiza y

simplifica de forma conceptual el trabajo con las proposiciones compuestas.

Docente diseador: Georffrey Acevedo G.

1
 ESCUELA DE CIENCIAS BSICAS, TECNOLOGA E INGENIERA
90004 Lgica Matemtica
Gua de Actividades y Rbrica de evaluacin
Act No. 6. Trabajo Colaborativo 2

Referencias

GEORFFREY ACEVEDO universidad nacional abierta y distancia mdulo de

lgica matemtica

Docente diseador: Georffrey Acevedo G.

1