UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA ESCUELA DE CIENCIAS SOCIALES ARTES Y HUMANIDADES Lgica Matemtica 90004 - 313 2010 II

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA

LGICA MATEMTICA

Act. 6

Trabajo Colaborativo # .1

Octubre 02

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD

www.unad.edu.co

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA ESCUELA DE CIENCIAS SOCIALES ARTES Y HUMANIDADES Lgica Matemtica 90004 - 313 2010 II

INTRODUCCION

Este trabajo presenta dos temas de lgica matemtica, como son la teora de conjuntos y los principios de lgica, los cuales si son bien comprendidos son tiles tanto en nuestra profesin, como en nuestra vida diaria.

En este trabajo presentamos el desarrollo de una actividad que consta de cuatro puntos; el primero es la solucin de un cuestionario que nos permite reconocer las polticas del desarrollo del presente trabajo, en la segunda parte se presenta un problema de la teora de conjuntos resuelto por medio de un diagrama de Venn, en la tercera parte se identifican conceptos como los conectivos lgicos, tablas de verdad, proposiciones, razonamiento deductivo y en la cuarta fase se desarrollan un ejemplo de razonamiento inductivo analgico por experiencia y uno por observacin. La compresin de estos temas nos capacitar para ser coherentes al expresar nuestras opiniones, concisos en presentar nuestras conclusiones, simplificar expresiones complejas para entenderlas fcilmente y nos permitir validar nuestros argumentos, entre muchos ms conocimientos que nos pueden aportar.

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD

www.unad.edu.co

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA ESCUELA DE CIENCIAS SOCIALES ARTES Y HUMANIDADES Lgica Matemtica 90004 - 313 2010 II

Fase 2. Teora de conjuntos 2.1 Complete el siguiente diagrama sealando cuantos estudiantes hay en cada rea Estudiantes de la UNAD

Actitud

Constancia

4 6 10
Pertinencia

18 2

2.2

Cuntos estudiantes eligieron ms de un factor? A) 20 B) 22 C) 30 D) 26

E) ___

2.3 Cuntos estudiantes eligieron nicamente dos de los factores mencionados? A) 18 B) 26 C) 19 D) 24 E) ___ 2.4 Cuntos estudiantes eligieron menos de dos de los tres factores analizados? A) 20 B) 19 C) 24 D) 25 E) ___ 2.5 Cuntos estudiantes eligieron ms de dos de los tres factores estudiados? A) 26 B) 2 C)3 D) 0 E) ___ 2.6 Cuntos estudiantes eligieron ms de un factor? A) 20 B) 22 C)30 D) 26 E)___ 2.7 Cuntos estudiantes eligieron nicamente dos de los factores mencionados? A) 18 B) 26 C)19 D) 24 E)___ 2.8 Cuntos estudiantes eligieron menos de dos de los tres factores analizados?

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD

www.unad.edu.co

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA ESCUELA DE CIENCIAS SOCIALES ARTES Y HUMANIDADES Lgica Matemtica 90004 - 313 2010 II

A) 20 B) 19 C)24 D) 25 E)___ 2.9 Cuntos estudiantes eligieron ms de dos de los tres factores estudiados? A) 26 B) 2 C)3 D) 0 E)___ 2.10 Cuntos estudiantes no seleccionaron la pertinencia de contenidos? A) 20 B) 30 C)27 D) 32 E)___ 2.11 Cuntos estudiantes no seleccionaron la actitud? A) 20 B) 30 C)40 D) 50 E)__15_ 2.12 Cuntos estudiantes seleccionaron ms de tres factores? A) 3 B) 5 C)15 D) 25 E)__O_

Fase 3. Conectivos lgicos, tablas de verdad, proposiciones, razonamiento deductivo Construyan la tabla de verdad del siguiente razonamiento lgico y comparen el resultado haciendo uso de uno de los siguientes simuladores: Si practico aprendo los detalles del ejercicio de la actividad, y si aprendo los detalles del ejercicio de la actividad ser ms competente, luego, si practico ser ms competente

Pq

qr

P r (P q) ^ (q r) V F V F V V V V F F F V F V

[(P q) ^ (q r)] (p r)

V V V V F F F

V V F F V V F

V F V F V F V

V V F F V V V

V F V V V F V

V V V V V V V

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD

www.unad.edu.co

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA ESCUELA DE CIENCIAS SOCIALES ARTES Y HUMANIDADES Lgica Matemtica 90004 - 313 2010 II

3.1.1 Razonamiento con conectivos lgicos identificados:

Si prctico aprendo

los detalles del ejercicio de la actividad,

y si

Aprendo

los detalles del ejercicio de la actividad ser ms practico ser ms competente. 3.1.2 Declaracin de proposiciones simples: p= practico q= aprendo r=competente

Competente, luego,

si

3.1.3 Premisas y conclusin encontradas en el razonamiento lgico: Premias 1: Si practico los detalles del ejercicio de la actividad entonces aprendo Premisa 2: Si aprendo los detalles del ejercicio de la actividad ms competente

entonces ser entonces

Conclusin. Si practico los detalles del ejercicio de la actividad ser ms competente 3.1.4 Razonamiento lgico expresado en lenguaje simblico: Premisa 1: p q Premisa 2: q r Conclusin: p r

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD

www.unad.edu.co

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA ESCUELA DE CIENCIAS SOCIALES ARTES Y HUMANIDADES Lgica Matemtica 90004 - 313 2010 II

Tabla de verdad de la forma (premisa 1^ premisa 2) --> conclusin:

Premis a1

Premisa 2

Premis a3

Conjuncin de premisas

Conclusi n

(conjuncin premisas) Conclusin

de -->

p q

Pq

qr

(P q) ^ (q P r r)

[(P q) ^ (q r)] (p r)

V V V V V F V F V V F F F V V F V F F F V F F F

V V F F V V V V

V F V V V F V V

V F F F V F V V

V F V F V V V V

V V V V V V V V

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD

www.unad.edu.co

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA ESCUELA DE CIENCIAS SOCIALES ARTES Y HUMANIDADES Lgica Matemtica 90004 - 313 2010 II

Generador de tablas de verdad No.1:

Generador de tablas de verdad No.2:

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD

www.unad.edu.co

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA ESCUELA DE CIENCIAS SOCIALES ARTES Y HUMANIDADES Lgica Matemtica 90004 - 313 2010 II

3.2 Consulten las diferentes leyes de inferencia propuestas en el modulo e identifiquen en ellas el siguiente razonamiento Si practico, aprendo. Porque cuando practico puedo asimilar completamente todos los detalles, experiencias e interacciones que se requieren para el ejercicio de una actividad. Esto es as porque apropiar conceptos asimilando los detalles de la prctica es aprender. A) MTT B) MPP C) SH D) DC E) SD

Justificacin de la respuesta: Es la ley de inferencia denominada Modus Ponendo Ponens MPP, tambin llamada simplemente MP Modus Ponens, nombre que se puede leer como Modo Afirmando y de lo cual se pude obtener una tautologa es decir que la inferencia lgica que estamos utilizando es correcta. Este mtodo de inferencia establece que si una implicacin es cierta y adems tambin lo es su antecedente, entonces su consecuente es necesariamente verdadero.

3.3 Como lo aprendieron en el documento a que viene la lgica, una forma de evaluar la validez de un razonamiento es construir la tabla de verdad en la cual se identifiquen las premisas y la conclusin, en esta tabla se debe analizar el valor de verdad de la conclusin cuando exista una combinacin de los estados de verdad de las proposiciones atmicas tal que las premisas del razonamiento sean verdaderas. A) Verdadero B) Falso

Justificacin de la respuesta: Es verdadera porque Dentro del razonamiento estos enunciados cumplen con una funcin de manera que slo uno de los enunciados se presenta como aceptado, porque los otros enunciados fueron aceptados es decir que el enunciado principal recibe el nombre de conclusin y los otros enunciados son los que justifican la conclusin y se denominan premisas, en la tabla de la verdad es donde colocamos la formula o funcin la cual determina los valores de verdad para cada uno de los diferentes casos posibles de combinaciones de valores de verdad de sus proposiciones, la tabla de la verdad busca decir que es imposible encontrar una asignacin de valores de verdad que haga verdadera a las premisas y falsa a la conclusin ya que la imposibilidad de que esto ocurra, nos permite declarar la forma de nuestro razonamiento como una forma de razonamiento vlido.

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD

www.unad.edu.co

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA ESCUELA DE CIENCIAS SOCIALES ARTES Y HUMANIDADES Lgica Matemtica 90004 - 313 2010 II

3.4 Como lo aprendieron en el documento a que viene la lgica. Una forma de evaluar la validez de un razonamiento es demostrar que el argumento coincide con una tautologa. Para demostrarlo se debe construir otra tabla de verdad en la cual se presenta la proposicin compuesta de todo el razonamiento. A) Verdadero B) Falso

Justificacin de la respuesta: Es verdadera porque la tautologa es una funcin lgica verdadera para todas las combinaciones posibles de los valores de verdad de sus variables. Decimos que hay implicacin tautolgica entre enunciados cuando la conjuncin de las premisas implica tautolgicamente la conclusin ya que se pude demostrar la validez del razonamiento porque la conclusin se deriva de las premisas. 3.5 La siguiente tabla de verdad permite concluir sobre el razonamiento lgico que da origen a la misma que dicho razonamiento es vlido: p q r Premisa 1 V V VV V V FV V F VV V F FF F V VV F V FV F F VF F F FF V F V F F V V V Premisa 2 Conclusi n V F F V V V V V

A) Verdadero

B) Falso

Justificacin de la respuesta: Es falso porque un razonamiento es vlido solo si la forma de su estructura del razonamiento es vlida ya es imposible que siendo las premisas verdaderas, sea la conclusin falsa. Si encontrramos algn ejemplo en el cual podamos afirmar que alguien que pinta no tiene una habilidad. En este caso, este ejemplo se
UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD

www.unad.edu.co

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA ESCUELA DE CIENCIAS SOCIALES ARTES Y HUMANIDADES Lgica Matemtica 90004 - 313 2010 II

llamara contraejemplo y este razonamiento no es vlido; los razonamientos que admiten contraejemplos se denominan falacias.

3.6 La siguiente tabla de verdad permite concluir sobre el razonamiento lgico que da origen a la misma que dicho razonamiento es vlido:

p q r V V V V V V F F V F V V V F F F F V V F F V F V F F V V F F F V

Premisa 1 ^ Premisa 2

Conclusi n V F V V V V V V

A) Verdadero

B) Falso

Justificacin de la respuesta: Es falso porque los conectivos lgicos de la conjuncin dicen que la conjuncin es verdadera nicamente cuando las dos proposiciones simples son verdaderas, en cualquier otro caso la proposicin es falsa.

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD

www.unad.edu.co

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA ESCUELA DE CIENCIAS SOCIALES ARTES Y HUMANIDADES Lgica Matemtica 90004 - 313 2010 II

CONCLUSIONES

Entendimos las polticas que se deben seguir para realizar los trabajos colaborativos.

Usamos las operaciones entre conjuntos para darle solucin a un problema.

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD

www.unad.edu.co

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA ESCUELA DE CIENCIAS SOCIALES ARTES Y HUMANIDADES Lgica Matemtica 90004 - 313 2010 II

BIBLIOGRAFIA

Acevedo, G. (2010) Gua de Trabajo Colaborativo Lgica Matemtica.

Aula Virtual Lgica Matemtica. (2010). Material de apoyo para la unidad.

Galindo, N.J. Y Acevedo, G. (2010). Modulo Lgica Matemtica. Medelln: Universidad Nacional Abierta y a Distancia.

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD

www.unad.edu.co