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

Y A DISTANCIA

LGICA MATEMTICA Trabajo grupal de calificacin individual No.1

Presenta xxxxxxxxxxxxxxx

Tutor
xxxxxxxxxxxxxxx

Director de curso Georffrey Acevedo Gonzlez

Bogota 22 /03/2011

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

1/14

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

Introduccin El presente trabajo tiene como finalidad la aplicacin de los conceptos aprendidos durante el estudio de la primera unidad del curso de lgica matemtica y el afianzamiento de conocimientos en interaccin con los dems compaeros de curso. El trabajo a realizar esta dividido en dos fases una individual y otra grupal, con la presentacin de un trabajo final.

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

2/14

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA Escuela de ciencias bsicas tecnologas e Ingeniera Lgica Matemtica 2011 i Fase 1. Proposiciones Lgicas Son proposiciones lgicas: Estudio ingeniera de sistemas. Si estudio el mdulo de lgica matemtica apruebo los exmenes de la materia El contenido de materias nos forman como profesionales Si apruebo todos los crdito acadmicos me gradu como ingeniero Los algoritmos son importantes en la formacin como ingeniero Fase 2. Teora de conjuntos Para resolver este ejercicio te puedes ayudar del material de apoyo para la unidad 1. Pertinencia de contenidos Estudiantes de la UNAD No son proposiciones lgicas Qu haces hay? Me perd en el campo! Dnde estn los estudiantes de ingeniera? Hola! Quines pasaran el curso de logica?

Actitud

5
1

7 k 1

9 29

Cosntancia

PREGUNTA RESPUESTA 2 20 3 9 4 10 5 26 6 12 7 9 8 19 9 3 10 40 11 44 12 0

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

3/14

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA Escuela de ciencias bsicas tecnologas e Ingeniera Lgica Matemtica 2011 i Fase 3. Conectivos lgicos, tablas de verdad, proposiciones, razonamiento deductivo Discusin sobre el razonamiento propuesto: Premisas identificadas: Premisa 1: Dado que entre seres tolerantes se genera menos violencia Premisa 2: que los conflictos y las violencias son la actualidad diaria Conclusin: la tolerancia es un valor que es muy necesario y urgentemente hay que promover Ley de inferencia presente en el razonamiento:
Simplificacin

Representacin simblica del razonamiento: p^qr Tabla de verdad del razonamiento lgico: determine el nmero de filas, columnas y campos de la tabla: La funcin lgica debe cumplir con la forma: (premisa 1 ^ premisa 2) --> Conclusin: p V V V V F q V V F F V r V F V F V

pqr
V F V V V

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

4/14

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

F F F

V F F

F V F

V V V

Verificacin de la tabla anterior. Imagen de la funcin obtenida en la simulacin: Generador de tablas de verdad No.1:

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

5/14

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

3.1 Consulten las diferentes leyes de inferencia propuestas en el mdulo e identifique en ellas el siguiente razonamiento: Cuando se tiene inteligencia musical se tiene habilidad para escuchar, cantar y tocar instrumentos, mientras que la inteligencia Lgico Matemtica est directamente relacionadas con la habilidad para resolver problemas. Luego, de un estudiante que sabemos tiene uno u otro tipo de inteligencia podemos afirmar:. Conclusin del razonamiento: El razonamiento corresponde con: A) MTT B) MPP C)SH D)DC E)SD

Porqu: se puede determinar uno de los dos tipos de inteligencia que se presentan en los estudiantes dependiendo de las actividades que se pueden realizar

3.2 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: las tablas de verdad son la herramienta que nos permite probar valides, el tener la combinacin de los estados posibles en las proposiciones atmicas podemos verificar la valides de la conclusin afirmada.

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

6/14

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

3.3 Como lo aprendimos 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: al demostrar la tautologa es adyacente el carcter verdadero para las combinaciones posibles de los valores de verdad de las variables

3.4 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 VVV VVF VF V VF F F VV F VF F F V F F F

Premisa 1 V V V V F V F F

Premisa 2 V F F F F V V V

Conclusin V F F V V V V V

A) Verdadero

B) Falso

Justificacin de la respuesta: porque en las combinaciones en las cuales las premisas son verdaderas las conclusiones son tambin verdaderas

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

7/14

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

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 VV V VV F VF V VF F F V V F V F F F V F F F Premisa 1 ^ Premisa 2 V F V F F V V V Conclusin V F V V V V V V

A) Verdadero B) Falso Justificacin de la respuesta: Es falso porque no coincide con una tautologa.

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

8/14

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA Escuela de ciencias bsicas tecnologas e Ingeniera Lgica Matemtica 2011 i Para los numerales 3.7 y 3.8 Deben escribir el nombre del compaero y a continuacin el aporte, igualmente, deben dejar el nombre con el espacio en blanco del compaero que no subi su aporte. 3.6 Cada integrante del equipo elije una de las nueve leyes de inferencia propuestas en el mdulo y la escribe en lenguaje natural con aplicacin al programa de estudio (carrera: psicologa, administracin, agrarias,.) de cada estudiante, se debe seguir estrictamente el ejemplo propuesto:

NOMBRE DEL Ejemplo aplicado al programa del estudiante ESTUDIANTE/PROGRAMA/L EY EJEGIDA

Nombre: xxxxxx Programa: xxxxxxxxxxxxxx Ley de inferencia: Conjuncin Ejemplo de Adicin aplicado a mi programa ingeniera de sistemas un estudiante de ingeniera de sistemas informa que ve la materia de lgica matemtica, otro estudiante de ingeniera de sistemas informa que ve la materia de telemtica, por lo tanto los estudiantes de ingeniera de sistemas ven las materias de lgica matemtica y telemtica

Nombre: Programa: Ley de inferencia:

Nombre: Programa: Ley de inferencia:

Nombre: Programa: Ley de inferencia:

Nombre: Programa: Ley de inferencia:

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

9/14

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

3.7 En este espacio cada estudiante declara las premisas y proposiciones simples (atmicas) identificadas en el razonamiento que ha planteado.

NOMBRE DEL ESTUDIANTE

Nombre: xxxxxxxxxxxx Programa: xxxxxxxxxxxxxxx Ley de inferencia: Conjuncin

Premisas y proposiciones simples del aporte publicado por el estudiante

Premisas: 1 un estudiante de ingeniera de sistemas informa que ve la materia de lgica matemtica 1 otro estudiante de ingeniera de sistemas informa que ve la materia de telemtica

Proposiciones simples: p = estudiante de ing sistemas ve lgica matemtica q = estudiante de ing sistemas ve telemtica p^q = los estudiantes de ing sistemas ven lgica matemtica y telemtica Nombre: Programa: Ley de inferencia: Premisas:

Proposiciones simples: p = texto q = texto ... Nombre: Programa: Ley de inferencia: Premisas:

Proposiciones simples: p = texto q = texto ... Nombre: Programa: Ley de inferencia: Premisas:

Proposiciones simples: p = texto q = texto ... Nombre: Programa: Ley de inferencia: Premisas: Proposiciones simples: p = texto

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

q = texto ...

10/14

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA Escuela de ciencias bsicas tecnologas e Ingeniera Lgica Matemtica 2011 i Fase 4. Razonamiento inductivo 4.1 Ejemplos de razonamiento inductivo por analoga basado en la observacin:

NOMBRE DEL ESTUDIANTE

Nombre: xxxxxxxxxxxxxx Programa: Ixxxxxxxxxxxxxxxxxxx

Razonamiento inductivo por analoga Justificacin basado en la observacin

Dos servidores con la misma configuracin de hardware, el mismo S.O., y el mismo nivel de actualizacin, uno de estos ya fue calificado con un alto nivel de estabilidad y seguridad, luego es factible que el otro obtenga la misma calificacin Este razonamiento se basa en la observacin porque se realiza un comparacin en la descripcin de los componente, y en esta se determinad un gran nivel de igualdad entre ellos, uno de los componentes tiene una caracterstica adicional, y al tener igualdad en las dems caractersticas es muy probable que esta adicional tambin est presente en el otro Este razonamiento se basa en la observacin porque ...

Nombre: Programa:

.....

Nombre: Programa:

.....

Este razonamiento se basa en la observacin porque ....

Nombre: Programa:

.....

Este razonamiento se basa en la observacin porque .. ..

Nombre: Programa:

.....

Este razonamiento se basa en la observacin porque ....

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

11/14

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA Escuela de ciencias bsicas tecnologas e Ingeniera Lgica Matemtica 2011 i 4.2 Ejemplo de razonamiento inductivo por analoga basado en la experiencia:

NOMBRE DEL ESTUDIANTE

Razonamiento inductivo por analoga basado en la experiencia

Justificacin
Este razonamiento se basa en la experiencia porque tomo como referente actividades que han generado experiencia en m al realizarlas, por lo tanto es de fcil deducir dentro del mismo ambiente en el cual se comparten caractersticas similares que se deben generar los mismos resultados.

Nombre: xxxxxxxxxxxx sub el nivel de actualizacin de S.O. del servidor de Programa: desarrollo lo cual mejoro el performance de la maquina, xxxxxxxxxxxxxx sub el nivel de actualizacin de S.O. del servidor de test lo cual mejoro el performance de la maquina, sub el nivel de actualizacin de S.O. del servidor de calidad lo cual mejoro el performance de la maquina, por lo tanto es probable que subir el nivel de actualizacin de S.O mejore el performance de las maquinas en mi sistema.

Nombre: Programa:

.....

Este razonamiento se basa en la observacin porque ....

Nombre: Programa:

.....

Este razonamiento se basa en la observacin porque ...

. Nombre: Programa: ..... Este razonamiento se basa en la observacin porque ....

Nombre: Programa:

.....

Este razonamiento se basa en la observacin porque ....

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

12/14

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

Conclusiones La realizacin de la actividad trabajo colaborativo 1, nos presenta una profundizacin y una puesta en prctica de las teoras aprendidas durante el estudio de la primer unidad del modulo, adems de consolidar las polticas de los trabajos colaborativos, mediante aportes significativos sobre las actividades hechas por mi y por mis compaeros.

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

13/14

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

Referencias

Georffrey Acevedo G, (2008). A que viene la lgica?. Universidad Nacional Abierta y a Distancia. Colombia. Recuperado el 06 de abril de: http://campus01.unadvirtual.org/moodle/mod/resource/view.php?id=3515

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

14/14