UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA Escuela de ciencias bsicas tecnologas e Ingeniera Lgica Matemtica

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA

LGICA MATEMTICA Trabajo grupal de calificacin individual No.1

presenta : OMAIRA MENESES YEPEZ. C.C.37.124.041

tutor Csar Manuel Castillo Rodrguez

Director de curso Georffrey Acevedo Gonzlez

SAN JUAN DE PASTO

ABRIL 18 DE 2012

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD www.unad.edu.co

1/12

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA Escuela de ciencias bsicas tecnologas e Ingeniera Lgica Matemtica

Introduccin

En el desarrollo de este trabajo se pueden encontrar ejemplos de diversa ndole que ilustran el manejo de las tablas de verdad, su simplificacin y obtencin de una solucin para un conjunto de variables que se interconectan para lograr un proceso especfico. As mismo, existen situaciones de la vida cotidiana que es necesario la aplicacin de la lgica matemtica como se demuestra en algunos tems del presente trabajo, para poder entender de una manera muy acertada sin oportunidad de dudas o inconsistencias. La representacin grfica y la representacin simblica se constituyen en herramientas bsicas para la simplificacin de problemas o situaciones problemticas y ayudan a interpretar y entender de mejor manera las consecuencias en cada caso. La gua fue manejable y con el material de apoyo suministrado se pudo encontrar la solucin y el despeje de dudas en algunos casos.

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD www.unad.edu.co

2/12

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA Escuela de ciencias bsicas tecnologas e Ingeniera Lgica Matemtica

Fase 1. Saberes previos para la unidad: Teora de conjuntos 1.1. Haciendo uso de los diagramas de Venn, plantea una propuesta para representar el rea sombreada para la expresin: Juan matricul lgebra o Lgica pero no Competencias Comunicativas.

1.2. Haga uso de la representacin simblica de las operaciones entre conjuntos, para representar el rea sombreada en el diagrama del numeral anterior LOGICA = A ALGEBRA = B COMPETENCIAS COMUNICATIVAS = C Representacin Simblica del Ejemplo: (A U B)

n C

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD www.unad.edu.co

3/12

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA Escuela de ciencias bsicas tecnologas e Ingeniera Lgica Matemtica

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

OMAIRA MENESES YEPEZ

Son proposiciones lgicas: Si saco 4 en el examen, entonces gano la materia El nmero 13 es un nmero primo La temperatura ambiente de Pasto es 17C La UNAD es una universidad a distancia. Los procesos de manufactura son vitales para un ingeniero industrial.

No son proposiciones lgicas Lgica es ms difcil que Metodologa. La sede de la UNAD en Pasto es cmoda El trabajo colaborativo es ms efectivo. La modalidad de la formacin en la UNAD es buena El examen de algebra estuvo sencillo.

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD www.unad.edu.co

4/12

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA Escuela de ciencias bsicas tecnologas e Ingeniera Lgica Matemtica

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 Si hay tolerancia, entonces hay paz Para aprender matemticas es necesario ser ordenado y constante. Dos condiciones son necesarias y suficientes para que tus hijos tengan buena vida sobre la tierra: ensales a controlar sus impulsos y a desarmar su corazn. Ana tiene perseverancia, orden y amor por la tarea. premisas
p = hay tolerancia q = hay paz p=ser ordenado q=ser constante r = aprender matemticas. p = los nios tengan buena vida sobre la tierra q = ensales a controlar sus impulsos r = ensales a desarmar su corazn p = Ana tiene perseverancia q = Ana tiene orden r = Ana tiene amor por la tarea

Lenguaje simblico
pq p^qr

q^rp

p^q^r

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD www.unad.edu.co

5/12

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA Escuela de ciencias bsicas tecnologas e Ingeniera Lgica Matemtica

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:

[ ( p q ) q ] ( p r ) ( q s )
p q r
V V F F V F V F V F V F

s
V V F F

pv q
V V V F

q
F V F V

(pvq)^ q
F V F F

p^ r
V F F F

[( p v q ) q] ^ (p ^ r)
F F F F

qv s
V V V F

[( p v q ) q] ^ (p ^ r) (qvs)
V V V V

Esta proposicin hace parte del grupo de tautologa.

( p q ) p q
p q
V V F F V F V F

p
F F V V

q
F V F V

(pv q)
V V F V

(pvq)^ p
F F F V

[( p v q ) ^ p] q
V V V V

Esta proposicin hace parte del grupo de 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.

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD www.unad.edu.co

6/12

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA Escuela de ciencias bsicas tecnologas e Ingeniera Lgica Matemtica

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD www.unad.edu.co

7/12

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA Escuela de ciencias bsicas tecnologas e Ingeniera Lgica Matemtica

2.4. Mediante una tabla de verdad, evala la equivalencia entre las siguientes dos proposiciones: Son equivalentes? Primera proposicin:

( p q ) segunda proposicin: p q
p
V V F F

p
F F V V

q
F V F V

q
V F V F

p^ q
F F V F

(p^ p^ q) q
V V F V F V F F

Las dos proposiciones no son equivalentes segn los resultados mostrados en la tabla de verdad anterior.

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD www.unad.edu.co

8/12

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA Escuela de ciencias bsicas tecnologas e Ingeniera Lgica Matemtica

2.5. Proposiciones contraria, recproca y contrarrecproca. A continuacin el equipo debe plantear las proposiciones contraria, recproca y contrarrecproca de la expresin: Si el ganado es Jersey no tendr buena carne:

Directa Contraria Recproca

Si el ganado es Jersey no tendr buena carne Si el ganado no es Jersey tendr buena carne No tendr buena carne si el ganado es Jersey

Contrarrecproca Tendr buena carne si el ganado no es Jersey

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD www.unad.edu.co

9/12

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA Escuela de ciencias bsicas tecnologas e Ingeniera Lgica Matemtica

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.

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD www.unad.edu.co

10/12

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA Escuela de ciencias bsicas tecnologas e Ingeniera Lgica Matemtica

Conclusiones

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD www.unad.edu.co

11/12

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA Escuela de ciencias bsicas tecnologas e Ingeniera Lgica Matemtica

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.

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD www.unad.edu.co

12/12