RAZONAMIENTO MATEMÁTICO I. LÓGICA PROPOSICIONAL A. Proposiciones B. Conectivos proposicionales B.1. B.2. B.3. B.4. B.5. B.6. Negación Conjunción Disyunción Condicional Bicondicional Otros conectivos C. Fórmulas lógicas D. Reglas de inferencia E. La demostración II. EJEMPLOS Y APLICACIONES AL RAZONAMIENTO MATEMÁTICO INTRODUCCIÓN La lógica es la disciplina que trata de los métodos de los razonamientos. Ofrece reglas y técnicas para determinar si un argumento es válido. A grandes rasgos la historia de la lógica se divide en 3 etapas: lógica griega, lógica escolástica y lógica matemática. El primer estudio sistemático del razonamiento lógico lo da Aristóteles que enuncia las fórmulas lógicas con palabras del lenguaje ordinario, sujetas a las reglas sintácticas. Durante la segunda etapa la lógica se abstrajo del lenguaje ordinario. En la tercera etapa quedó marcada por el uso de un lenguaje artificial en el que los signos y palabras estaban regidos por una sintaxis exacta. Mientras que en las dos primeras etapas los teoremas lógicos se derivaban del lenguaje usual, en la tercera la lógica procede al contrario. A veces se considera a Leibnitz como un precursor de este último punto de vista pues pretendía reducir todas las cosas a un orden. La fecha del nacimiento de la lógica contemporánea es cuando Boole publica su primer libro y la lógica formal de De Morgan (1847). Más tarde (1854) Boole construye y desarrolla la lógica formal como un nuevo tipo de álgebra y demuestra que su tipo general de álgebra suministra un algoritmo fácil para el razonamiento silogístico. Después hubo un desvanecimiento hasta la aparición de “Principia Mathematica” de Russell y Whitehead. En esta obra se programa que toda la matemática pura puede deducirse de un pequeño número de principios lógicos 1 fundamentales. A partir de ésta y de las obras de otros lógicos y matemáticos del s. XX se disponen de potentes herramientas. Gödel (1931) demostró que existen dentro del sistema ciertas afirmaciones bien definidas, que no pueden ser demostradas ni refutadas a partir de los axiomas. Así el teorema de Gödel se considera como el resultado más importante de la lógica matemática. I. LÓGICA PROPOSICIONAL La lógica de proposicional se ocupa de proposiciones, de frases descriptivas en el seno de una teoría. No todas las frases son proposiciones. A. Proposiciones Definición Una proposición es una frase de la que se pueda decir que es verdadera o falsa. Observación - No son proposiciones las frases interrogativas o exclamativas o enunciados prescriptivos. - Existen lógicas en las que se consideran más de 2 valores lógicos, pero verdadero y falso son los únicos valores de verdad de las proposiciones. Rige el llamado principio de bivalencia: “Toda proposición es o bien verdadera o bien falsa”. La lógica proposicional se ocupa de las relaciones de inferencia entre proposiciones tomadas en bloque. No se analiza la estructura interna de las proposiciones, son estas las unidades de análisis. Como primer nivel del análisis lógico, lo que se pretende es analizar la validez de aquellos razonamientos en los que se parte de premisas, que son proposiciones sin analizar, para llegar a conclusiones que son proposiciones que tampoco se analizan. Desde el punto de vista de la lógica proposicional sólo se tienen en cuenta aquellas formas de deducir una proposición a partir de otras que sean válidas sin necesidad de analizar interiormente cada una de ellas. Los elementos que componen una proposición son irrelevantes. Sólo interesan las proposiciones como tales, cada una de ellas considerada como un todo. Como es indiferente el contenido de cada proposición, éstas se representan mediante variables proposicionales: p,q,r,s,... símbolos que sustituyen a proposiciones cualesquiera. Cada proposición tiene un único valor de verdad. La variable p, que reemplaza a una proposición cualquiera, podrá tener el valor de verdad (v ó 1) o el valor falso (F ó 0). B. Conectivos proposicionales Definición Una proposición se llama molecular cuando es una composición de otras. Se llama atómica si no lo es. Se llaman conectivos proposicionales a las diversas formas de enlazar o transformar proposiciones. Cada conectivo proposicional queda determinado conociendo su función de verdad, la relación existente entre la verdad o falsedad de las proposiciones componentes y la resultante. Es normal dar una función de verdad mediante una tabla de verdad, que son tablas en la que junto a cada posible combinación de valores de verdad de las proposiciones componentes figura el de la proposición compuesta. Según el número de componentes se habla de conectivos monádicos o singulares, diádicos o binarios, ternarios, etc. 2 Observaciones - Como para n variables proposicionales existen 2n asignaciones distintas de los valores de verdad y como para cada una de ellas la función de verdad puede tomar cualquiera de los 2 valores, existen 2(2n) operaciones distintas con n proposiciones. - Sólo algunos conectivos proposicionales corresponden a expresiones normales del lenguaje y aparecen en la exposición natural de los razonamientos. En la práctica se representan por símbolos que se conocen con el mismo nombre que el conectivo al que representan. B.1. Negación Dada una proposición p, su negación es la proposición ̚p, que será verdadera si p es falsa y falsa si p es verdadera. Se lee “no p” y corresponde a la negación del lenguaje usual. Su tabla de verdad es: p p ̚ 1 0 0 1 B.2. Conjunción Dadas 2 proposiciones p y q, su conjunción es la proposición p∧q, que será verdadera sólo cuando p y q son verdaderas y falsa en los demás casos. Se lee p y q y se corresponde con la “y” o con la yuxtaposición del lenguaje usual. Su tabla de verdad es: p 1 1 0 0 q p∧q 1 1 0 0 1 0 0 0 B.3. Disyunción Dadas dos proposiciones p y q, su disyunción es la proposición p∨q, que será falsa cuando p y q son falsas y verdaderas en los demás casos. Se lee “p ó q” y se corresponde con la “o” no excluyente del lenguaje usual. Su tabla de verdad es: p 1 1 0 0 q p∨q 1 1 0 1 1 1 0 0 B.4. Condicional Dadas dos proposiciones, p y q, su condicional es la proposición p → q, falsa sólo si q es falsa y p verdadera y verdadera en los demás casos. Se dice que p es el antecedente y q el consecuente del condicional. Se lee “si p entonces q” y se corresponde con expresiones tales como: “si ... entonces ...”, “cuando ... entonces ...” del lenguaje verbal. Su tabla de verdad es: p 1 1 0 0 q p→q 1 1 0 0 1 1 0 1 3 B.5. Bicondicional Dadas dos proposiciones p y q, su bicondicional es la proposición p↔q, que será verdadera si ambas son verdaderas o si ambas son falsas y falsa en los demás casos. Se lee “p si y sólo si q”. Supone un doble condicional en el lenguaje usual: “si p entonces q y si q entonces p”. Su tabla de verdad es: p 1 1 0 0 q p↔q 1 1 0 0 1 0 0 1 B.6. Otros conectivos Es escaso el interés que presentan los restantes conectivos singulares o binarios de los otros 3 conectivos singulares: dos son constantes, independientes de la variable; el tercero es la identidad. De los restantes 12 conectivos binarios sólo la disyunción exclusiva (que es verdadera sólo si una sólo una de las proposiciones lo es) tiene sentido en el lenguaje usual aún cuando se utilice muy raramente en el razonamiento matemático. Estrictamente hablando sería suficiente considerar dos únicos conectivos: la negación y uno cualquiera de entre la conjunción, la disyunción o el condicional, ya que los demás se podrían definir en término de esos dos, tal como veremos más adelantes. Incluso, este número mínimo de conectivos puede reducirse a uno: el conectivo incompatibilidad o el conectivo negación conjunta. C. Fórmula lógicas La aplicación reiterada de conectivos permite formar proposiciones moleculares más complejas. Definición Se llama fórmula lógica a toda expresión formada por la aplicación de un número finito de conectivos proposicionales a variables proposicionales. Los conectivos se aplican de izquierda a derecha salvo que se indique otra cosa. Las variables proposicionales se denotan por letras mayúsculas: A,B,C... A toda fórmula lógica le corresponde una única función de verdad que asocia a cada combinación de valores de las variables el valor de verdad resultante en la fórmula Se representa mediante una tabla de verdad. Observación Una fórmula lógica resulta al sustituir en una proposición molécula cada proposición por una misma variable y una variable por una misma proposición. Definición Si una fórmula lógica es siempre verdadera se llama tautología (T). Si siempre es falsa se llama contradicción (K) y si toma los dos valores de verdad se llama indeterminada. Si una fórmula lógica A es una tautología ⇒ ̚A es una contradicción y viceversa. Las tautologías que son fórmulas universalmente ciertas se llaman leyes de la lógica proposicional. De ellas se obtienen las reglas de inferencia que permitirán pasar de proposiciones verdaderas a otras propoposiciones verdaderas. 4 Proposición Toda fórmula lógica es lógicamente equivalente a otra en la que sólo aparecen los conectivos , ̚,∧,∨. Demostración p↔q≡(p→q)∧(q→p) y que: p→q≡( ̚p)∨q Proposición Sean A, B y C fórmulas lógicas. Se verifican las siguientes equivalencias lógicas: 1.) Doble negación: ˥(˥A)≡A A∧(B∧C)≡(A∧B)∧C 2.) Asociativa: 3.) Conmutativa: A∧B≡B∧A A∧(˥A)≡K 6.) Elemento absorbente: 7.) Elemento neutro: A∨B≡B∨A A∧A=A 4.) Idempotencia: 5.) De complemento: A∨(B∨C)≡(A∨B)∨C A∨A≡A A∨(˥A)≡T A∧K≡K A∧T≡A A∨T≡T A∨K≡A 8.) Simplificativa: A∧(A∨B)≡A 9.) Distributiva: A∧(B∨C)≡(A∧B)∨(A∧C) A∨(A∧B)≡A A∨(B∧C)≡(A∨B)∧(A∨C) 10.) De Morgan: ˥(A∧B)≡( ˥A)∨( ˥B) ˥(A∨B)≡( ˥A)∧( ˥B) Demostración Es muy fácil, veamos cómo se hace por ejemplo 10.) y los demás igual. A B ˥A ˥B A∧B ˥(A∧B) (˥A)∨( ˥B) ˥(A∧B)↔(( ˥A)∨( ˥B)) 1 1 0 0 1 0 0 1 1 0 0 1 0 1 1 1 0 1 1 0 0 1 1 1 0 0 1 1 0 1 1 1 Observación - La equivalencia lógica “≡” es una relación de equivalencia en el conjunto de las fórmulas lógicas. Si en el conjunto cociente respecto de ≡ se definen las operaciones ˥,∧,∨ por medio de los representantes se obtiene que dicho cociente forma con las operaciones un álgebra de Boole. - Las fórmulas lógicas pueden, salvo equivalencia, formarse sólo con los conectivos ˥ y ∧. D. Reglas de inferencia Las tablas de verdad son útiles cuando el número de variables es pequeño pero cuando hay muchas no es conveniente. Ahora proponemos otro sistema. Definición Se dice que q es una consecuencia tautológica de las proposiciones p1,p2,...,pn si (p1∧p2∧...∧pn)→q es una tautología. Se simboliza en una columna. También se dice que p1,p2,...,pn implican lógicamente q, que q se deriva o se deduce de las pi u otras expresiones análogas. Así, si p1,p2,...,pn son tautologías lo es q. Las reglas que permite derivar unas tautologías de otras se llaman reglas de inferencia. Existen infinitas reglas de inferencia ya que cualquier fórmula tautológica 5 condicional determinará una. Se han propuesto sistemas basados en cantidades reducidas de reglas que permiten derivar todas las leyes de la lógica proposicional. A continuación enunciamos las reglas de inferencias más importantes: Modus poniendo ponens (Regla de separación): Si tenemos A y A→B ⇒ tenemos B Modus tollendo tollens: Si tenemos A→B y ˥B ⇒ tenemos ˥A Modus tollendo ponens: Si tenemos A∨B y ˥A ⇒ tenemos B Transitividad del condicional o modus barbara: Si tenemos A→B y B→C ⇒ tenemos A→C Contraposición del condicional: A→B es equivalente a (˥B→˥A) Simbólicamente se representa por: PP: A→B TT: A→B TP: A∨B TC: A →B CC: A→B A ˥B ˥A B→C B ˥A B A→C ˥B→˥A Observaciones - Como un bicondicional equivale a un doble condicional, cada equivalencia lógica engendra reglas de inferencia. - De las definiciones de los conectivos se desprende que A∨B y A→B son consecuencias tautológicas de B y que A∧B y A↔B lo son de A y B. D. La demostración Se llama demostración o prueba al proceso lógico que permite obtener de unas premisas una conclusión. Se parte de unas proposiciones que se llaman premisas y se busca llegar a otra proposición que se llama conclusión usando las reglas de inferencia. El paso lógico de las premisas a la conclusión es la deducción. La idea de la demostración consiste en que de premisas verdaderas sólo se pueden obtener conclusiones que sean verdaderas. Una demostración de la proposición p a partir de las proposiciones del conjunto de premisas S, es una secuencia finita de líneas cada una de las cuales está formada por una premisa o por una consecuencia tautológica de proposiciones de líneas anteriores y cuya última línea es la proposición p. El uso de las 2 reglas de sustitución siguientes facilita la deducción de la conclusión. Proposición Si en una tautología A se sustituyen sus proposiciones atómicas p1,p2,...,pn por otras proposiciones q,,q2,...,qn, la proposición B resultante es una tautología. Demostración Cualesquiera que sean los valores de verdad que se asignen a las proposiciones atómicas de B resultarán unos valores de verdad para q1,q2,..,qn. El correspondiente valor lógico de B coincidirá con el que toma A cuando las proposiciones p1,p2,...,pn toman los valores de verdad obtenidos para q1,q2,...,qn ⇒ como A es tautología, B también. Proposición 2 Si p↔q es una tautología y B resulta de A reemplazando una o más ocurrencia de p por ocurrencias de q, entonces A↔B es una tautología y B es una tautología si y sólo si lo es A. Demostración 6 Al tomar p y q los mismos valores de verdad, el valor de verdad de A no se altera al hacer la sustitución. La última parte es enunciar la equivalencia lógica de A y B. III. EJEMPLOS Y APLICACIONES AL RAZONAMIENTO Como la lógica proposicional es demasiado simple se recurre a la lógica de predicados para expresar formalmente cualquier razonamiento matemático. En el desarrollo de una teoría matemática no todas las proposiciones son demostrables. La progresiva reducción de unos enunciados a otros más simples conduce a resultados que no se derivan de otros. Son enunciados cuya veracidad se ha establecido en una teoría previa o se toma por convenio. Son los axiomas o postulados de la teoría y a ellos se recurre en las demostraciones. Los enunciados matemáticos se expresan normalmente en forma condicional: h→t, negando e intercambiando antecedente y consecuente se deducen otros 3: teorema recíproco (t→h), teorema contrario (˥h→˥t) y teorema contrarrecíproco (˥t→˥h). Si son ciertos un teorema y su recíproco, el bicondicional h↔t es cierto y se dice que el enunciado es una equivalencia. - Ejemplo: Teorema de Euclides:”si un número m divide a un producto de dos factores a·b y es primo con uno de ellos a, divide al otro factor b”. m.c.d.(m,a)=1 ⇒ m.c.d.(mb,ab)=b. Como m∣ab y m∣b ⇒ m∣m.c.d.(mb,ab)=b Desde el punto de vista formal aparecen las siguiente proposiciones: p=”m∣ab” q=”m es primo con a” r=”m∣m” v=”m∣m.c.d.(mb,ab)” s=”m∣mb” u=”m.c.d.(m,a)=1” w=”m.c.d.(mb,ab)=b” t=”m∣b” (1) (2) (3) (4) (5) (6) (7) (8) (9) p q r r→s s q→u u u→w w Hipótesis Hipótesis Conocimiento previo Conocimiento previo Modus ponens (4) y (3) Conocimiento previo Modus ponens (6) y (2) Conocimiento previo Modus ponens (8) y (7) (10) p∧s Regla de unión (1) y (5) (11) (12) (p∧s)→v v Conocimiento previo Modus ponenes (11) y (10) (13) v∧w Regla de unión (12) y (9) (14) (15) (v∧w)→t t Conocimiento previo Modus ponens (14) y (13) A continuación analizamos algunos de los métodos usuales de demostración. Demostración directa: son aquellas demostraciones en las que la conclusión se deduce directamente de las premisas por aplicación de las reglas de inferencia, sin que se efectúen suposiciones sobre otras proposiciones. Demostración por implicación: son razonamientos en los que se realiza la demostración de una proposición condicional empleándose la regla de demostración condicional. Demostración por reducción al absurdo: para deducir la proposición p de un conjunto de axiomas S, a menudo, se realiza infiriendo a partir de la hipótesis de la negación p una cierta proposición q, cuya negación se deduce en seno de los 7 axiomas S. De las proposiciones (˥p→q) y ˥q se sigue, en virtud de la regla de inferencia modus tollens, la veracidad de ˥˥p y con ello la de p. Demostración por recurrencia: el razonamiento por recurrencia necesita para una formulación rigurosa de la lógica de predicados. Sin pretender desarrollar un cálculo de predicados. Veamos algunos conceptos: Dado un conjunto A se llama forma proposicional de una variable sobre A a toda expresión conteniendo una variable x, que se convierte en una proposición al darle a x valores de A. Se representan por p(x), q(x)... Si para cada a∈A la proposición p(a) es verdadera, se escribe: ∀x∈A p(x) (para todo x perteneciente a A, p(x)). El símbolo ∀ que expresa la transformación de la forma proposicional en una proposición es el cuantificador universal. En un razonamiento por recurrencia, la proposición que se demuestra es de la forma ∀n∈ℕ p(n), es decir, la aplicación del cuantificador universal a una forma proposicional de una variable sobre el conjunto de los números naturales. La demostración se apoya en una propiedad especial de los números naturales que es el 5º axioma de Peano:”si un subconjunto M de ℕ contiene al = y siempre que contiene a un número también contiene a un sucesor, entonces M=ℕ”. En el razonamiento por recurrencia primero se demuestra p(0) y luego que ∀n∈ℕ p(n)→p(n+1). El 5º axioma de Peano asegura que M=ℕ. La aplicación reiterada de modus ponens a la cadena de proposiciones p(0), p(0)→p(1), p(1)→p(2), etc. permite deducir p(1), p(2), etc., luego, si fuera posible efectuar una infinidad de pasos, que para cualquier valor de n, p(n) es verdadera. La inducción completa garantiza la validez del proceso. CONCLUSIONES La lógica y las matemáticas han estado siempre muy relacionadas aunque han surgido diversas corrientes, que apoyándose en unas teorías u otras, siguen una determinada matemática. Esto es lo que veremos en el tema siguiente: las corrientes matemáticas. Pero lo que no cabe a la duda es que la relación existe y que las matemáticas pueden apoyarse con consistencia en la lógica para demostrar resultados. En este tema, lo que hemos visto sin profundizar y a groso modo es la lógica proposicional y los elementos que la componen. Además hemos introducido unas cuantas técnicas de demostración que se utilizan para el desarrollo de las matemáticas. BIBLIOGRAFÍA - Deaño, A.: “Introducción a la lógica formal”. - Mates, S.: “Lógica matemática elemental” - Valdes, J. Y Santos, J.J.: “Matemáticas comunes C.O.U.” 8