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

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA

TRABAJO INDIVIDUAL

LGICA MATEMTICA

PRESENTA: ANDREA MARCELA LEDESMA HERRERA - 1085248372

NOMBRE DEL TUTOR EDWIN ANDRES MURILLO FERNANDEZ DIRECTOR DE CURSO: GEORFFREY ACEVEDO GONZLEZ

BOGOT, OCTUBRE DE 2011

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

1/13

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

Introduccin

Este trabajo se dividi en dos fases, en la primera fase se aplicaron los conocimientos previos acerca de la teora de conjuntos y una segunda fase donde se aplicaron los principios de la lgica, utilizando ejemplos de proposiciones lgicas, identificacin de conectivos lgicos y proposiciones simples, elaboracin de tablas de verdad, clasificacin de las proposiciones como contrarias contradictorias y subcontrarias, implicaciones directas, contraria, recproca y contrarrecproca. El trabajo se desarroll por medio de actividades que valoran los conocimientos adquiridos en la primera unidad. Entre los referentes bibliogrficos utilizados estuvieron el mdulo de lgica matemtica, y la bsqueda de algunas definiciones extradas de internet.

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

2/13

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: (C A) U (B - A)

Expresin 2: (C B) U {(B-C)-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 Andrea Ledesma Andrea Ledesma Andrea Ledesma Son proposiciones lgicas: La UNAD tiene un nfasis social comunitario. Los psiclogos estudian qumica orgnica. Nietzsche se consideraba a s mismo psiclogo No son proposiciones lgicas En hora buena estudio psicologa. Deberas ser psicoanalista. Deseara hacer un enfoque que una los principios del conductismo y humanismo.

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

3/13

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

Andrea Ledesma Andrea Ledesma

La psicobiologa El humanismo es malo. incorpora los objetivos del conductismo El carcter tiene un La atencin y memoria componente hereditario van deprisa como el viento.

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 Lenguaje simblico p = La tolerancia. pq q = La paz. p = La tolerancia. pq q = La paz. p = Ser ordenado. q = Ser constante. (p q) r r = Aprender matemticas. p = Ensea a tus hijos a controlar sus impulsos. q = Ensea a tus hijos a desarmar su corazn. r = Buena vida en la tierra. p = Perseverancia por la tarea. q = Orden por la tarea. r = Amor por la terea. s =Cualidades de Ana. (p q) r

(p q r) = s

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

4/13

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

proposicin como tautologa, contradiccin o contingente de acuerdo al resultado:

{[(p q) (r s)] (p v r)} (q v s)

p q r s p q rs pv r qvs [(p q) (r s)] {[(p q) (r s)] (p v r)} {[(p q) (r s)] (p v r)} (q v s)

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

V V V F F F V F

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

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

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

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

V F V V F F F F V F V V V F V V Tautologa

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

V V V F F F V F

V V V F F F V F

V V V F F F V F

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

5/13

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

[(p q) (q r)] (p r) p q V V V V V V F F F F F F V V F F r V F V F V F V F (p q) V V F F V V V V (q r) V F V V V F V V (p r) V F V F V V V V [(p q) (q r)] V F F F V F V V Tautologa 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. http://turner.faculty.swau.edu/mathematics/materialslibrary/truth/ [(p q) (q r)] (p r) V V V V V V V V

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

6/13

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

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

Primera proposicin:

segunda proposicin:

~ (p v q) P V V F F q V F V F (p v q) V V V F ~ (p v q) F F F V

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

7/13

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

~ p v ~q P V V F F q V F V F ~p F F V V ~q F V F V ~ p v ~q F V V V

2.6

Si el ganado es Jersey tendr buena leche, el equipo debe plantear las

proposiciones contraria, recproca y contrarrecproca de esta expresin

Directa: Si el ganado es Jersey, entonces tendr buena leche. Contraria: si el ganado no es Jersey, entonces no tendr buena leche. Recproca: tendr buena leche si el ganado es Jersey. Contrarrecproca: No tendr buena leche si el ganado no es Jersey. 2.7 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/13

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

Contrarias Contradictorias Subcontrarias

Expresin 1 Todos los estudiantes de la UNAD son psicoanalistas. Todos los psiclogos son conductistas. Algunos estudiantes de la UNAD estudian psicologa.

Expresin 2 Todos los estudiantes de la UNAD son conductistas. Algunos psiclogos son conductistas. Algunos estudiantes de la UNAD no estudian psicologa.

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

9/13

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

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.

Concete a ti mismo frase atribuida a Tales de Mileto, considerado como el primer representante de la filosofa occidental reconocido como el iniciador de la indagacin racional sobre el universo, se le atribuye plantear explicaciones de la naturaleza sin hacer referencia a lo sobrenatural. De manera que los precursores de la filosofa, los presocrticos, incorporaron una innovacin en el pensamiento, al tratar de explicar las cosas por s mismas. Durante el periodo Socrtico, los filsofos pasaron de preocuparse por los temas de la naturaleza a ocuparse en el hombre, en este periodo aparecen los sofistas, quienes profundizan en el arte de discutir, a quienes se debe lo que en la lgica se denomina un sofisma, es un razonamiento incorrecto que aparenta ser correcto. Originalmente logos significaba palabra o discurso, por lo cual en un principio se defini la lgica como la rama de la gramtica que se ocupaba de ciertas formas de lenguaje. La palabra como expresin o manifestacin del pensamiento y el pensamiento racional al ser la base de la filosofa, se puede decir que la lgica es la ciencia del pensamiento racional. Aristteles, considerado como el padre de la lgica, vio la necesidad de construir argumentos, para defender o refutar pensamientos de los dems, creando mtodos para analizar y evaluar dichos argumentos, desarrollando la lgica proposicional. La idea de un clculo de razonamiento fue tambin cultivada por Gottfried Wilhelm Leibniz. Leibniz fue el primero en formular la nocin de un sistema de lgica matemtica aplicable de forma generalizada. George Boole y Augustus de Morgan al establecer las similitudes entre las operaciones lgicas con las matemticas, a partir de los operadores aritmticos de adicin, multiplicacin y sustraccin crearon los operadores lgicos equivalentes de unin, interseccin y negacin; adems formularon los principios del razonamiento simblico y el anlisis lgico. A Boole se le atribuye la invencin

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

10/13

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

de las tablas de verdad para comprobar la veracidad de proposiciones compuestas. Este trabajo fue retomado por Bertrand Russell y Alfred Whitehead en su obra Principio Matemtico, quienes codificaron la lgica simblica en su presente forma definindola como la Ciencia de todas las operaciones conceptuales posibles, por esta razn la fundacin de la lgica formal moderna se le atribuye a ellos. La lgica matemtica se aplica a todas las reas de conocimiento, incluyendo la psicologa. El aprendizaje de lgica garantiza que al utilizar premisas verdaderas, mediante un razonamiento vlido se puede llegar a conclusiones verdaderas, las cuales muestran el grado de verdad y razn que aplicamos en las proposiciones que utilizamos en la vida cotidiana.

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

11/13

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

Conclusiones Manejar las operaciones entre conjuntos es indispensable para entender los diagramas de VENN y de la misma manera para sacar proposiciones validas a partir de ellos. En los principios de lgica matemtica, se debe distinguir inicialmente proposiciones lgicas de aquellas que no son proposiciones lgicas y determinar conectivos lgicos que caracterizan las proposiciones complejas y las diferencian de proposiciones simples. La importancia de aplicar las tablas de verdad es que por medio de ellas podemos determinar el valor de verdad de las proposiciones. Es importante adquirir teoras y definiciones claras respecto a los temas vistos en lgica matemtica, de manera que las materias complementarias que se vena posteriormente, tengan bases slidas que permiten aplicar el conocimiento adquirido en todos los campos de desarrollo de la vida cotidiana.

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

12/13

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

Referencias

ACEVEDO, GONZALEZ, G (2011). Lgica matemtica. Universidad Nacional Abierta y a Distancia. Colombia.

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

13/13