Matemticas I

Catedrtico: I.S.C. Ivn de J. Moscoso Navarro Unidad temtica I.- Lgica Matemtica

Materia: Matemticas I Unidad temtica I.Lgica Matemtica Catedrtico: I.S.C. Ivn de J. Moscoso Navarro

Palabras clave: Lgica matemtica, proposicin, tautologa, contradiccin, operadores lgicos, unin, interseccin, complementacin, proposicin condicional, proposicin bicondicional, teoremas, hiptesis, demostracin formal. ***Tautologa, repeticin de una misma idea o pensamiento en formas diferentes, que no aade nada al conocimiento y lo nico que expresa es una identidad vaca. Es decir, una tautologa no aporta ninguna informacin, no dice nada. Es una explicacin o definicin aparente que emplea trminos diferentes para decir lo mismo. Introduccin. Aprender matemticas, fsica y qumica "es muy difcil"; as se expresan la mayora de estudiantes de todos los niveles, sin embargo pocas veces se busca una explicacin del porqu no aprenden las ciencias exactas los alumnos. Nuestra teora es la siguiente: "Los alumnos no aprenden ciencias exactas, porque no saben relacionar las conocimientos que se proporcionan en la escuela (leyes, teoremas, formulas) con los problemas que se le presentan en la vida real". Otro problema grave es que el aprendizaje no es significativo. El presente trabajo pretende motivar a los estudiantes para que con ayuda de la "lgica matemtica", l sea capaz de encontrar estos relacionamientos entre los diferentes esquemas de aprendizaje, para que de esta manera tenga una buena estructura cognitiva. Consideramos que si el alumno sabe lgica matemtica puede relacionar estos conocimientos, con los de otras reas para de esta manera crear conocimiento. La lgica estudia la forma del razonamiento, es una disciplina que por medio de reglas y tcnicas determina si un argumento es vlido. La lgica es ampliamente aplicada en la filosofa, matemticas, computacin, fsica. En la filosofa para determinar si un razonamiento es vlido o no, ya que una frase puede tener diferentes interpretaciones, sin embargo la lgica permite saber el significado correcto. En las matemticos para demostrar teoremas e inferir resultados matemticas que puedan ser aplicados en investigaciones. En la computacin para revisar programas. En general la lgica se aplica en la tarea diaria, ya que cualquier trabajo que se realiza tiene un procedimiento lgico, por el ejemplo; para ir de compras al supermercado una ama de casa tiene que realizar cierto procedimiento lgico que permita realizar dicha tarea. Si una persona desea pintar una pared, este trabajo tiene un
Escuela Preparatoria Ocozocoautla Pgina 1

Matemticas I

Catedrtico: I.S.C. Ivn de J. Moscoso Navarro Unidad temtica I.- Lgica Matemtica

procedimiento lgico, ya que no puede pintar si antes no prepara la pintura, o no debe pintar la parte baja de la pared si antes no pint la parte alta porque se manchara lo que ya tiene pintado, tambin dependiendo si es zurdo o derecho, l puede pintar de izquierda a derecha o de derecha a izquierda segn el caso, todo esto es la aplicacin de la lgica. La lgica es pues muy importante; ya que permite resolver incluso problemas a los que nunca se ha enfrentado el ser humano utilizando solamente su inteligencia y apoyndose de algunos conocimientos acumulados, se pueden obtener nuevos inventos innovaciones a los ya existentes o simplemente utilizacin de los mismos. El orden en que se presenta el documento es el siguiente: Primeramente se establece la importancia de la lgica matemtica, despus definimos el concepto de proposicin. Se establece el significado y utilidad de conectivos lgicos para formar proposiciones compuestas. Ms tarde abordamos las proposiciones condicionales y bicondicionales. Definimos tautologa, contradiccin y contingente, y proporcionamos una lista de las tautologas ms importantes, as mismo explicamos a que se le llama proposiciones lgicamente equivalente apoyndonos de tablas de verdad. Para finalizar; abordamos los mtodos de demostracin: directo y por contradiccin, en donde incluye reglas de inferencia. En este trabajo se trata adems de presentar las explicaciones con ejemplos que le sean familiares. Nuestro objetivo es que el alumno aprenda a realizar demostraciones formales por el mtodo directo y el mtodo por contradiccin. Ya que la mayora de los libros comerciales nicamente se quedan en explicacin y demostracin de reglas de inferencia. Consideramos que s el alumno aprende lgica matemtica no tendr problemas para aprender ciencias exacta y ser capaz de programar computadoras, ya que un programa de computadora no es otra cosa que una secuencia de pasos lgicos, que la persona establece para resolver n problema determinado. Es importante mencionar que en las demostraciones no hay un solo camino para llegar al resultado. El camino puede ser mas largo o ms corto dependiendo de las reglas de inferencia y tautologas que el alumno seleccione, pero definitivamente deber llegar al resultado. Puede haber tantas soluciones como alumnos se tenga en clase y todas estar bien. Esto permite que el estudiante tenga confianza en la aplicacin de reglas y frmulas. De tal manera que cuando llegue a poner en practica esto, el sea capaz de inventar su propia solucin, porque en la vida cada quien resuelve sus problemas aplicando las reglas de inferencia para relacionar los conocimientos y obtener el resultado. Desarrollo. La lgica matemtica es la disciplina que trata de mtodos de razonamiento. En un nivel elemental, la lgica proporciona reglas y tcnicas para determinar si es o no valido un argumento dado. El razonamiento lgico se emplea en matemticas para demostrar teoremas; en ciencias de la computacin para verificar si son o no correctos los programas; en las ciencias fsica y naturales, para sacar conclusiones de experimentos; y en las ciencias sociales y en la vida cotidiana, para resolver una multitud de problemas. Ciertamente se usa en forma constante el razonamiento lgico para realizar cualquier actividad.

Proposiciones y operaciones lgicas.

Escuela Preparatoria Ocozocoautla

Pgina 2

Matemticas I

Catedrtico: I.S.C. Ivn de J. Moscoso Navarro Unidad temtica I.- Lgica Matemtica

Una proposicin o enunciado es una oracin que puede ser falsa o verdadera pero no ambas a la vez. La proposicin es un elemento fundamental de la lgica matemtica. A continuacin se tienen algunos ejemplos de proposiciones vlidas y no vlidas, y se explica el porqu algunos enunciados no son proposiciones. Las proposiciones se indican por medio de una letra minscula, dos puntos y la proposicin propiamente dicha. Ejemplo. p: La tierra es plana. q: -17 + 38 = 21 r: x > y-9 s: El Morelia ser campen en la presente temporada de Fut-Bol. t: Hola como estas? w: Lava el coche por favor. Los incisos p y q sabemos que pueden tomar un valor de falso o verdadero; por lo tanto son proposiciones validas. El inciso r tambin es una proposicin valida, aunque el valor de falso o verdadero depende del valor asignado a las variables x y y en determinado momento. La proposicin del inciso s tambin esta perfectamente expresada aunque para decir si es falsa o verdadera se tendra que esperar a que terminara la temporada de fut-boll. Sin embargo los enunciados t y w no son vlidos, ya que no pueden tomar un valor de falso o verdadero, uno de ellos es un saludo y el otro es una orden.

Conectivos lgicos y proposiciones compuestas. Existen conectores u operadores lgicas que permiten formar proposiciones compuestas (formadas por varias proposiciones). Los operadores o conectores bsicos son: CONJUNCIN Operador and (y) Se utiliza para conectar dos proposiciones que se deben cumplir para que se pueda obtener un resultado verdadero. Si smbolo es: { multiplicacin lgica:

, un punto (.), un parntesis}. Se le conoce como la

Ejemplo. Sea el siguiente enunciado "El coche enciende cuando tiene gasolina en el tanque y tiene corriente la batera"
Escuela Preparatoria Ocozocoautla Pgina 3

Matemticas I

Catedrtico: I.S.C. Ivn de J. Moscoso Navarro Unidad temtica I.- Lgica Matemtica

Sean: p: El coche enciende. q: Tiene gasolina el tanque. r: Tiene corriente la batera. De tal manera que la representacin del enunciado anterior usando simbologa lgica es como sigue: p=q^r Su tabla de verdad es como sigue: q 1 1 0 0 r 1 0 1 0 p=q^r 1 0 0 0 Donde. 1 = verdadero 0 = falso En la tabla anterior el valor de q =1 significa que el tanque tiene gasolina, r =1 significa que la batera tiene corriente y p = q ^ r =1 significa que el coche puede encender. Se puede notar que si q o r valen cero implica que el auto no tiene gasolina y que por lo tanto no puede encender.

DISYUNCIN Operador Or (o) Con este operador se obtiene un resultado verdadero cuando alguna de las proposiciones es verdadera. Se indica por medio de los siguientes smbolos: { V ,+ }. Se conoce como las suma lgica. Ejemplo. Sea el siguiente enunciado "Una persona puede entrar al cine si compra su boleto u obtiene un pase". Donde. p: Entra al cine. q: Compra su boleto. r: Obtiene un pase.
Escuela Preparatoria Ocozocoautla Pgina 4

Matemticas I

Catedrtico: I.S.C. Ivn de J. Moscoso Navarro Unidad temtica I.- Lgica Matemtica

q 1 1 0 0

r 1 0 1 0

p =q V r 1 1 1 0

NEGACIN Operador Not (no) Su funcin es negar la proposicin. Esto significa que s alguna proposicin es verdadera y se le aplica el operador not se obtendr su complemento o negacin (falso). Este operador se indica por medio de los siguientes smbolos: { , p 1 0 p 0 1

- }. Ejemplo.

En este momento ya se pueden representar con notacin lgica enunciados ms complejos. Ejemplo Sean las proposiciones: p: Hoy es domingo. q: Tengo que estudiar teoras del aprendizaje. r: Aprobar el curso. El enunciado: "Hoy es domingo y tengo que estudiar teoras de aprendizaje o no aprobar el curso". Se puede representar simblicamente de la siguiente manera: (p^q)V r Por otro lado con ayuda de estos operadores bsicos se pueden formar los operadores compuestos Nand (combinacin de los operadores Not y And), Nor (combina operadores Not y Or) y Xnor (resultado de Xor y Not). Proposiciones condicionales.
Escuela Preparatoria Ocozocoautla Pgina 5

Matemticas I

Catedrtico: I.S.C. Ivn de J. Moscoso Navarro Unidad temtica I.- Lgica Matemtica

Una proposicin condicional, es aquella que est formada por dos proposiciones simples (o compuesta) p y q. La cual se indica de la siguiente manera: p q Se lee "Si p entonces q" Ejemplo. El candidato del PRI dice "Si salgo electo presidente de la Repblica recibirn un 50% de aumento en su sueldo el prximo ao". Una declaracin como esta se conoce como condicional. Su tabla de verdad es la siguiente: Sean p: Sali electo Presidente de la Repblica. q: Recibirn un 50% de aumento en su sueldo el prximo ao. De tal manera que el enunciado se puede expresar de las siguiente manera. pq Su tabla de verdad queda de la siguiente manera:

p 1 1 0 0

q 1 0 1 0

pq 1 0 1 1

La interpretacin de los resultados de la tabla es la siguiente: Considere que se desea analizar si el candidato presidencial minti con la afirmacin del enunciado anterior. Cuando p=1; significa que sali electo, q=1 y recibieron un aumento de 50% en su sueldo, por lo tanto p q =1; significa que el candidato dijo la verdad en su campaa. Cuando p=1 y q=0 significa que p q =0; el candidato minti, ya que sali electo y no se incrementaron los salarios. Cuando p=0 y q=1 significa que aunque no sali electo hubo un aumento del 50% en su salario, que posiblemente fue ajeno al candidato presidencial y por lo tanto; tampoco minti de tal forma que p q =1.

Proposicin bicondicional.
Escuela Preparatoria Ocozocoautla Pgina 6

Matemticas I

Catedrtico: I.S.C. Ivn de J. Moscoso Navarro Unidad temtica I.- Lgica Matemtica

Sean p y q dos proposiciones entonces se puede indicar la proposicin bicondicinal de la siguiente manera: p q Se lee "p si solo si q" Esto significa que p es verdadera si y solo si q es tambin verdadera. O bien p es falsa si y solo si q tambin lo es. Ejemplo; el enunciado siguiente es una proposicin bicondicional "Es buen estudiante, si y solo si; tiene promedio de diez" Donde: p: Es buen estudiante. q: Tiene promedio de diez. por lo tanto su tabla de verdad es.

p 1 1 0 0

q 1 0 1 0

pq 1 0 0 1

A partir de este momento, ya se est en condiciones de representar cualquier enunciado con conectores lgicos. Ejemplo. Sea el siguiente enunciado "Si no pago la luz, entonces me cortarn la corriente elctrica. Y Si pago la luz, entonces me quedar sin dinero o pedir prestado. Y Si me quedo sin dinero y pido prestado, entonces no podr pagar la deuda, si solo si soy desorganizado" Donde: p: Pago la luz. q: Me cortarn la corriente elctrica. r: Me quedar sin dinero. s: Pedir prestado.
Escuela Preparatoria Ocozocoautla Pgina 7

Matemticas I

Catedrtico: I.S.C. Ivn de J. Moscoso Navarro Unidad temtica I.- Lgica Matemtica

t: Pagar la deuda. w: soy desorganizado. (p q) ^ [ p (r V s) ] ^ [ (r ^ s) t ] w Tablas de verdad. En estos momentos ya se est en condiciones de elaborar cualquier tabla de verdad. A continuacin se presenta un ejemplo para la proposicin [(p q) (q r) ] (r q).

p 0 0 0 0 1 1 1 1

q 0 0 1 1 0 0 1 1

r 0 1 0 1 0 1 0 1

q 1 1 0 0 1 1 0 0

pq 1 1 1 1 0 0 1 1

(q ^ r) 0 1 0 0 0 1 0 0

(p q) V (q ^ r) 1 1 1 1 0 1 1 1

rq 1 0 1 1 1 0 1 1

[(p q) V (q ^ r) ] (r q) 1 0 1 1 0 0 1 1

El nmero de lneas de la tabla de verdad depende del nmero de variables de la expresin y se puede calcular por medio de la siguiente formula. No de lneas = 2n Donde n = nmero de variables distintas.

Tautologa y contradiccin.

Escuela Preparatoria Ocozocoautla

Pgina 8

Matemticas I

Catedrtico: I.S.C. Ivn de J. Moscoso Navarro Unidad temtica I.- Lgica Matemtica

Tautologa, es aquella proposicin (compuesta) que es cierta para todos los valores de verdad de sus variables. Un ejemplo tpico es la contrapositiva cuya tabla de verdad se indica a continuacin.

p 0 0 1 1

q 0 1 0 1

p 1 1 0 0

q 1 0 1 0

p q 1 1 0 1

q p 1 1 0 1

(p q) (q p) 1 1 1 1

Note que en las tautologas para todos los valores de verdad el resultado de la proposicin es siempre 1. Las tautologas son muy importantes en lgica matemtica ya que se consideran leyes en las cuales nos podemos apoyar para realizar demostraciones.

Bibliografa. Libro Autor Editorial

Estructuras de Matemticas Bernard Kolman, Robert C. Prentice Hall Discretas Bisby, Sharon Ross Elements of Mathematics Matemticas Combinatoria Discrete C.L.Liu Discreta y Ralph P. Grimaldi Mc graw Hill Addiso Wesley

Matemticas Discretas con Jean Paul Tremblay, Ram CECSA aplicacin a las ciencias de Manohar la computacin Matemticas Discretas Matemtica Lgica Discreta Kenneth A. Ross, Charles Prentice Hall R.B. Wright y Winfried Karl, Jean Paul Prentice Hall Tremblay Richard Johnsonbaugh Gpo. Editorial Iberoamerica

Matemticas Discretas

Escuela Preparatoria Ocozocoautla

Pgina 9