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 Edier Andrs Zapata 94481169 Tutor

Director de curso Geoffrey Acevedo Gonzlez

BUGA

10/10/2011

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

1/11

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

Introduccin
En esta actividad podremos afianzar los conceptos adquiridos en el desarrollo del curso, e interpretar de una mejor manera las proposiciones lgicas como estructurarlas y utilizarlas de forma prctica.

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

2/11

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

10 5 2 15 5

Expresin 1: una situacin que represente el rea sombreada podra ser que en un grupo de 45 deportistas; A atletas, B futbolistas, C nadadores. Del grupo sombrado se define como los deportistas en condicin de lesin (27), 5 atletas en buenas condiciones, 5 nadadores en buenas condiciones y todos los futbolistas lesionados, y 8 personas que no pertenecen a ningn deporte. Expresin 2: 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:

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

3/11

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

Nombre del estudiante Edier Andrs Zapata

Son proposiciones lgicas: Si y solo si entrego este informe obtendr los puntos de la nota. El dinero se devala en el tiempo Los nmeros negativos pertenecen a los reales Ningn nmero es divisible por cero Si es de noche es porque el sol est oculto

No son proposiciones lgicas Podra cuidar mi salud para vivir ms de 200 aos La tierra no girara alrededor del sol dentro de un tiempo por que estar ms pesada La matemtica lgica es muy ilgica Voy a contar hasta encontrar el infinito La luna es un pedazo de queso

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 La tolerancia es necesaria para la paz Ser tolerante es el camino hacia la paz. Para aprender matemticas es necesario ser ordenado y constante. Ensea a tus hijos a controlar sus impulsos y a desarmar su corazn y tendrn buena vida en la tierra. Perseverancia, orden y amor por la tarea son cualidades de Ana. premisas p= > & v Lenguaje simblico

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

4/11

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 T T T T T T T T F F F F F F F F

q T T T T F F F F T T T T F F F F

r T T F F T T F F T T F F T T F F

s T F T F T F T F T F T F T F T F

{[( p q) (r s )] (p V r)} (q V s) T T T T T T T T T T T T T T T T

Es tautologa porque el valor de verdad final siempre es verdadero

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

5/11

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

p T T T T F F F F

q T T F F T T F F

r T F T F T F T F

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

Es tautologa porque el valor de verdad final siempre es verdadero

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

6/11

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

2.4. A continuacin debes pegar el pantallazo obtenido al usar el siguiente simulador para verificar el resultado obtenido. Visita el material de apoyo para la primera unidad para aprender a usarlo.

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

7/11

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

http://turner.faculty.swau.edu/mathematics/materialslibrary/truth/ 2.5. Mediante una tabla de verdad, verifica la equivalencia entre las siguientes dos proposiciones:

Primera proposicin: p T T F F q T F T F (p V q) F F F T

Segunda proposicin:

p T T F F

q T F T F

pVq F T T T

No son equivalentes las dos expresiones

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

8/11

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

2.6. Si el ganado es Jersey tendr buena leche, el equipo debe plantear las proposiciones contraria, recproca y contrarrecproca de esta expresin

Directa Contraria Recproca

El ganado jersey es de gentica lechera El ganado jersey genera poca leche Si el ganado da mucha leche es porque es jersey

Contrarrecproca Si el ganado da poca leche es porque es jersey 2.7. Usando el siguiente diagrama de Venn como fuente de inspiracin, el equipo debe plantear expresiones contrarias, contradictorias y subcontrarias:

Expresin 1 Contrarias Contradictorias Subcontrarias

Expresin 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.
UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD www.unad.edu.co

9/11

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/11

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

11/11