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

Trabajo grupal de calificacin individual No.1 Nombre de curso: 90004 Lgica Matemtica Temticas revisadas: UNIDAD 1 Polticas para el desarrollo de la actividad: Querido estudiante, dos son las condiciones que deben ser cumplidas para recibir nota por el desarrollo de este trabajo colaborativo: 1. Que el estudiante debata y presente su solucin oportuna de la actividad en la plantilla propuesta para tal fin. 2. Que el equipo haya hecho entrega de un producto final consolidado en la plantilla diseada con este fin. GUA DE ACTIVIDADES Profundizacin de la Unidad 1: Queridos estudiantes, a travs de esta actividad realizaremos el proceso de transferencia de los temas de la primera unidad. Para lograrlo desarrollaremos la actividad 6, la cual est dividida en cuatro fases con una nica entrega de trabajo final. La invitacin es a realizar la lectura consciente y completa de las pginas de esta gua de actividades.Especificaciones de la entrega de la actividad: El informe grupal debe contener: 1. Portada 2. Introduccin 3. Desarrollo de la actividad 4. Conclusiones 5. Referencias El formato del archivo debe ser PDF, el nombre del archivo debe ser No.equipo_Tarea1

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

Polticas para el desarrollo de la actividad: Es importante tener en cuenta que la tarea debe ser entregada por uno slo de los miembros del equipo; para ello, el estudiante elegido debe enviar el trabajo en formato PDF. Recordemos que en los trabajos colaborativos el trabajo es grupal pero la nota es individual ya que esta nota se asigna a cada estudiante de acuerdo a su solucin individual y calidad de participacin en el debate. En los trabajos colaborativos no se recibirn trabajos individuales, o extemporneos o enviados al correo personal del tutor. El trabajo en equipo es la primera condicin para recibir una nota por el desarrollo de la actividad. !Los mejores deseos en el desarrollo de la actividad!

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

Este archivo en Word es la plantilla y gua para resolver la activiad. Cada estudiante debe dar solucin a esta plantilla de manera individual y luego en equipo debatir las diferencias para que finalmente uno de los compaeros del equipo suba el producto final. xitos en el desarrollo de la actividad. UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA

LGICA MATEMTICA Trabajo grupal de calificacin individual No.1

presenta nombres de estudiantes que participaron: nombre No.documento nombre No.documento nombre No.documento tutor nombre del tutor Director de curso Georffrey Acevedo Gonzlez

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

FECHA

3/14

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

Introduccin Recuerda que una introduccin describe el contenido del trabajo, es decir, introduce al lector a lo que encontrar y puede esperar encontrar en el trabajo. Paralelamente los comentarios de cmo fue desarrollado, las dificultades encontradas, las herramientas utilizadas harn que la introduccin a cada trabajo sea diferente. No se trata de hacer la introduccin al curso de Lgica Matemtica ni de exponer en este espacio la importancia de la Lgica Matemtica.

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

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:

Expresin 1: (B-A) U (AC) Expresin 2: (BC) U (B-A) 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

Son proposiciones lgicas:

No son proposiciones lgicas

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

Lorenzo Sanmartn Lorenzo Sanmartn

Lorenzo Sanmartn Lorenzo Sanmartn

Si Estudio ingeniera industrial soy ms competitivo en mi trabajo Para ser ingeniero industrial de la UNAD se deben ganar los crditos asignados por materia, Ser ingeniero industrial y hablar ingls da ms oportunidades de empleo Para estudiar en la UNAD se necesita dedicarle mucho tiempo al campus La lgica como ciencia constituye la lgica formal o simblica

El ingeniero industrial est en capacidad de optimizar los procesos En la ingeniera industrial aprendes a administrar proyectos Sera bueno tener ms tiempo para estudiar Las matemticas es considerada una de las material ms difciles en el estudio Las carreras a distancias es una oportunidad de estudio

Lorenzo Sanmartn

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 premisas p= Lenguaje simblico

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

cualidades de Ana. 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
V V V V V V V V F F F F F F F F

q
V V V V F F F F V V V V F F F F

r
V V F F V V F F V V F F V V F F

s
V F V F V F V F V F V F V F V F

{[(p q)
V V V V F F F F V V V V V V V V

^
V F V V F F F F V F V V V F V V

(rs) (pvr) ^ ] } (qvs)

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

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

b
V V V V F F F F

d
V V F F V V F F

L
V F V F V F V F

[(bd )
V V F F V V V V

(dL) ] (bL)
V F V V V F V V V F V F V V 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

8/14

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

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. http://turner.faculty.swau.edu/mathematics/materialslibrary/truth/

Truth Table Generator

Evaluate an arbitrary boolean expression and generate the truth table. "Beauty is truth, truth beauty,"that is all Ye know on Earth, and all ye need to know. John Keats, Ode On A Grecian Urn, 1819

Elements of the Boolean Expression variables: constants: unary operator: binary operators: a,b,c,...,z T (or 1) or F (or 0) ~ & | + # > = grouping: | V 1 2 2 3 3 3 4 5 not (negation) and (conjunction) NAND (not and) or (disjunction) NOR (not or) XOR (exclusive or) if (implication) if and only if (biconditional)

(), [], or {} may used to group expressions to change the order of evaluation

The shaded first column for the operators gives the keyboard entry for the operator. The third column for the operators gives the priority for the operation. Within a priority group, evaluation is left to right.

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

Boolean expression:
variable order in table:
Generate Truth Table

natural order

alphabetical order

constants:

T and F

1 and 0

Clear Boolean Expression

2.4. Mediante una tabla de verdad, verifica la equivalencia entre las siguientes dos proposiciones:

Primera proposicin:
p q
V V V V F F F F V V F F V V F F

segunda proposicin:

(pV q)
V V V V V V F F

p
V V V V F F F F

q
V V F F V V F F

(pV q)
F F F F F F V V

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

10/14

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

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

Directa Contraria Recproca

pq (pq) qp

Contrarrecproca pq 2.6. 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

11/14

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

12/14

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

13/14

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

14/14