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 MARCELINO APONTE MONROY Cod: 4138193 Williams Alberto Rairn Rincn Tutor

Director de curso Georffrey Acevedo Gonzlez

BOGOTA 2011

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

1/9

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 = B A - B= { } Expresin 2: A B C U = A, B, C A= { } B= { } C= { } B A= { } A - B= { } ABC=

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

2/9

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: Marcelino Aponte Monroy es estudiante de Ingeniera de sistemas (V) Los trabajos colaborativos se deben realizar por todos los integrantes del grupo (v) Lgica Matemtica es un curso que solo se ve en el rea de Ingeniera (F) Williams Alberto Rairn Rincn es Tutor de la UNAD (V) El aprendizaje autnomo no se necesita en la mediacin virtual (F) Vamos a entregar el trabajo colaborativo Como estn compaeros? Los esferos y los cuadernos Tu y yo y el tambin Vamos a comprar al xito

A continuacin se propone identificar los conectivos lgicos y proposiciones simples presentes en cada expresin, posteriormente plantearn una expresin equivalente en lenguaje simblico:

Expresin premisas La tolerancia es p = la tolerancia necesaria para la paz q= necesaria para la paz Ser tolerante es el P= ser tolerante camino hacia la paz. q= camino hacia la paz

Lenguaje simblico pq

P q

Para aprender P= para aprender (pq) ^ r matemticas es matemticas necesario ser ordenado q= es necesario ser y constante. ordenado r= constante

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

3/9

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

Ensea a tus hijos a controlar sus impulsos y a desarmar su corazn y tendrn buena vida en la tierra.

p= ensea a tus hijos a P ^ q ^ r controlar sus impulsos q= a desarmar su corazn r= tendrn buena vida en la tierra P ^ q^ rs

Perseverancia, orden y p= perseverancia amor por la tarea son q=orden cualidades de Ana. r=amor por la tarea s=son cualidades de Ana.

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

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

4/9

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

5/9

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

2.3. 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/

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

6/9

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

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

Primera proposicin:

segunda proposicin:

p q (p V q ) vvfv vffv fvfv ffvf

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

7/9

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

pqpVq vvffvf vfffvv fvfvvf ffvvfv 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

Si es ganado jersey tendr buena leche Si no es ganado jersey entonces no tendr buena leche. Si tiene buena leche entonces es ganado jersey.

Contrarrecpro Si no tiene buena leche entonces no es ganado jersey. ca 2.6. Usando el siguiente diagrama de Venn como fuente de inspiracin, el equipo debe plantear expresiones contrarias, contradictorias y subcontrarias:

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

8/9

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

Contrarias Todos los estudiantes de psicologa solo estudian psicoanaltica. Todos los estudiantes de psicologa no estudian psicoanaltica. Contradictorias Todos los estudiantes de la UNAD de psicologa se inclinan por la escuela conductista. Algunos estudiantes de la UNAD de psicologa no se inclinan por la escuela conductista.

Expresin 1 Contrarias

Expresin 2

Todos los estudiantes de Todos los estudiantes de psicologa no psicologa solo estudian estudian psicoanaltica. psicoanaltica

Contradictoria Todos los estudiantes de la Algunos estudiantes de la UNAD de s UNAD de psicologa se psicologa no se inclinan por la inclinan por la escuela escuela conductista. conductista Subcontrarias Los estudiantes de psicologa de la UNAD estudian las escuelas del conductismo y el psicoanlisis Los estudiantes de psicologa de la UNAD estudian muy afondo las escuelas del conductismo y el psicoanlisis

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. Luego de dcadas de progreso y desarrollo a partir de las capacidades humanas, los avances en la lgica se han logrado gracias al impulso y al deseo de satisfacer las necesidades tanto fsicas como mentales de los seres humanos pensantes, como combinar la mente con la tecnologa, las leyes con la fsica, el lenguaje hablado con el lenguaje escrito, para as llegar a representar por medio de nmeros, smbolos que es lo verdadero y lo falso de las formulas del lenguaje.

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

9/9