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 SANDRA MILENA RAMIREZ CARDENAS

Tutor CESAR MANUEL CASTILLO

Director de curso Georffrey Acevedo Gonzlez

CALI VALLE ABRIL 2012

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

1/10

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

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

2/10

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 Sandra Milena Ramrez

Son proposiciones lgicas: Algebra es una asignatura anual de Ingeniera Civil en la Universidad de Santiago de Chile Mxico est en Amrica El 3 de abril de 1970 fue domingo Los cocodrilos pueden volar 1<2

No son proposiciones lgicas Viva el turismo Como me gustara volar Ser cierto que el cigarrillo produce cncer Que hambre tengo Los perros hambrientos

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

3/10

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

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

4/10

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 ) p q

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. p V V V V F V F V F F F F V V F F q V V V F F F V F V F F V V F V F r V V F F F V F F V F V V F V F V s V F F F F F V V F V V V V V F F pv q V V V V F V V V V F F V V V V F (pvq) ^ q F F F V F V F V F F F F F V F F [(pvq) ^ q] ^ (p ^ r) F F F F F V F F F F F F F V F F [(pvq) ^ q] ^ (p ^ r) (q v s) V V V V V F V V V V V V V V V V

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

5/10

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

p q V V V F F V F F

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

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

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

6/10

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 ^ q F F V F p v q p ^ q F V V F

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

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

7/10

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: p q p q q p

Directa Contraria Recproca

Contrarrecproca p q

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

8/10

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

CONCLUSIONES

Al realizar este trabajo hemos tenido la oportunidad de tratar temas como: Tablas De verdad, principios de lgica y teora de conjuntos. Aprendimos a realizar los Ejercicios y a desarrollar de una manera lgica lo planteado en el trabajo

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

9/10

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

10/10