12. Métodos De La Demostración Matemática

Ciencias Básicas » Cursos Gratuitos de Matematica » Matemática Superior » Lógica Proposicional » 12. Métodos De La Demostración Matemática

Holas amigos, cada vez estamos más cerca del final, pensé que este sería la penúltima entrada, me equivoque, la próxima será la penúltima entrada, casi olvido el tema de los circuitos lógicos que sería el fin de la teoría de lógica proposicional, luego finalizaré por fin con la última entrada de ejercicios de problemas resueltos del curso. En esta oportunidad les vengo a traer los Métodos De La Demostración Matemática.

Anteriormente ya había publicado sobre la teoría de las demostraciones matemáticas donde explico el desarrollo y evolución de la formalización correcta de las demostraciones, sin embargo, en el camino se encontraron con serios inconvenientes en buscar una serie de definiciones, axiomas y propiedades innatas que sea capaz desarrollar toda la teoría de matemática de manera coherente y sin ambigüedades.

Hasta que se probó la imposibilidad de lograr una teoría formal que demostrarse de manera formal las demostraciones matemáticas, y esto es gracias a nuestro amigo Gödel.

Pero en esta entrada nos centraremos en todas los métodos de las demostraciones matemáticas y los ejemplos de cada una de ellas, comencemos con el concepto de “demostración”.

Esta palabra viene del latín “demonstratio” y significa lo mismo tal cual se entiende, su concepto etimológico es redundante. El concepto de demostración no es mas que la verificación de una prueba anteriormente corroborada, sea verdadero o falso.

Por lo general, la demostración suele usarse para mostrar una prueba a terceras personas para disipar dudas o inducir la costumbre de que toda propiedad o teorema debe ser probada (aunque en la vida cotidiana la gente no acostumbra a comprobar lo que investiga, incluido en en las propias universidades.

Podemos decir que demostrar es volver a mostrar que un resultado sea verdadero o falso con los fundamentos adecuados. Un sinónimo de demostrar es comprobar, este último es lo mismo que decir que volver a probar.

Demostrar es volver a indicar, señalar, probar algo de nuevo, es un proceso que puede repetirse cuantas veces sea necesario según las circunstancias.

Esta palabra también sirve para darle énfasis a un hecho o acción de algo, por ejemplo: “con este comportamiento inusual, demuestras lo poco ético que eres“, este argumento no rompe con el concepto de demostración, ya que primero una persona se dio cuenta de este comportamiento que probó y quiere mostrarle a la otra persona de este tipo de comportamientos para que sea consciente de ella, es decir, repetir la prueba.

Otro ejemplo, “de demuestro mi amor”, tampoco rompe con el concepto de demostración, ya que la persona que dará su amor, sabe que lo tiene y es amoroso, luego quiere reafirmar este sentimiento a la persona que ama, es decir, demuestra lo que tiene.

Los ejemplos anteriores son ejemplos ambiguos, porque lo que intento dar énfasis aquí la repetición de lo que se ha probado, y quiere mostrárselo a otra persona o incluso a sí mismo.

Por tanto, la demostración no es más que reafirmar un tesis de una hipótesis probada, punto. Es por ello que es inadecuado usar la palabra “prueba” en una demostración matemática de un teorema porque demostración y prueba son dos cosas distintas. Probar significa experimentar algo sin importar si la hipótesis es correcta o incorrecta, la demostración es solo verificar la tesis de la hipótesis anteriormente probada como verdadero o falso.

Aunque coloquialmente ya se aceptó como conceptos similares, su uso será a su criterio de cada quien, vayamos con el siguiente apartado.

La demostración matemática

La demostración en matemática es la reafirmación de los teoremas para asegurar la verdad los argumentos matemáticos anteriormente probados como verdaderos. Las premisas de un proceso de demostración de un consecuente que ya anteriormente ha sido probado pueden incluir definiciones, axiomas y/u otros teoremas.

Uno de los puntos fuertes de la demostración matemática es volver a reafirmar un teorema que anteriormente se probó su veracidad bajo una serie de procedimientos matemáticos también aceptados como verdaderas.

Pero tampoco las matemáticas no están exentas de algunas hipótesis aparentemente plausibles consideradas como verdaderas, estos supuestos teoremas resulta de demostraciones muy vagas y poco convenientes y puede resultar en creencias matemáticas que puede traer una serie de inconsistencias en el futuro, este tiene un nombre especial y lo veremos en el siguiente apartado.

Conjetura en las matemática

Tomemos al número 6, sus divisores son el 1, 2 y el 3, pero si sumamos estos divisores, nos da como resultado el número 6, este tipo de números se les llamó números perfectos.

Por definición, los números perfectos resulta ser igual a la suma de todos los divisores propios que esta posea. Euclides estudió estos resultados y encontró los primeros 4 primeros números perfectos que tenían una propiedad inusual. Encontró la siguiente formula por induccion basica que:

NP mayuscula sin cursiva = (2 elevado a la (n-1)) por ((2 elevado a la n)-1)

Donde NP mayuscula sin cursiva significa números perfectos y el valor de letra n en cursiva resultó ser números primos. Esta generalidad lo supuso solo porque descubrió los cuatro primeros números perfectos que cumplen esta propiedad, estos son:

  • letra n en cursiva = número 2(2 elevado a la 1) por (2 al cuadrado -1)
  • letra n en cursiva = número 3(2 elevado a la (3-1)) por (2 al cubo -1)
  • letra n en cursiva = número 5(2 elevado a la (5-1)) por ((2 elevado a la 5)-1)
  • letra n en cursiva = siete(2 elevado a la (7-1)) por ((2 elevado a la 7)-1)

Donde (2 a la n) - 1 también eran primos, al descubrir estos 4 resultados con los primeros 4 primos de la serie, suposo que el siguiente primo letra n en cursiva = número 1número 1 para NP mayuscula sin cursiva también debió ser un número perfecto, sin embargo, el valor (2 elevado a la 11) - 1 no era un número primero y por tanto, para NP mayuscula sin cursiva tampoco era un número perfecto.

Pero los matemáticos de épocas antiguas dejaron por sentado que todos los números primeros para NP mayuscula sin cursiva tenian que ser números perfectos, esta afirmación sin demostración se le llama conjetura.

Existen otra conjeturas como son:

  • La conjetura de Goldbach.
  • La conjetura de los primos gemelos.
  • La conjetura de Collartz
  • Hipótesis de Riemann
  • Conjetura de Beal
  • Conjetura de Mertens

La mayoría de las conjeturas en matemática no han sido demostradas, considerándose como posibles afirmaciones y creencias especulativas hasta que pueda demostrar su veracidad o falsedad, pero también existen otras que lograron ser demostrados como verdaderos, por tanto, pasan a ser reformuladas como teoremas.

La conjetura en matemáticas es una afirmación que se cree como verdadera pero teniendo en cuenta que esta no ha sido ni demostrada ni refutada desde que fue enunciado hasta la fecha. Las conjeturas en matemáticas por lo general se basan en posibles sospechas con fundamentos particulares donde no se ha logrado una generalidad.

En otra oportunidad, en proximas secciones me centraré como de las muchas ciencias tratan las conjeturas de manera equivocada entre otras actitudes pseudocientíficas, esto no quiere decir que en las ciencias actuales sea pseudociencia, sino que muchas veces al poner las emociones, el ego, los distintos rasgos de superioridad y estatus en las ciencias, puede lograr a tener una mala interpretación de las conjeturas y ser consideradas siempre como falsa al no haber prueba de su falsedad, aunque también recae en lo contrario, lo aparentemente verdadero.

El lenguaje de la demostraciones MATEMÁTICAS

No se puede evitar el lenguaje informal en la formalización estrictas de las matemáticas, no existe una formalización completa y pura sin usar palabras cotidianas o por lo menos palabras con propiedad con cierto grado de rigor.

Puede que la programación sea un lenguaje puramente formal, sin embargo, es inevitable colocar consultas en estas lineas de programacion informacion que incluso los software no pueden comprender semánticamente, en programación tan solo se justifica usando consultas diciendo o aclarando que estas palabras son líneas que no es necesario que los ordenadores los procese y que simplemente los muestra sin significado alguno para los ordenadores pero con mucho sentido para los seres humanos.

Existen otros conceptos que no se pueden definir con precisión, por ejemplo, la palabra “conjunto”, este puede significar una colección de objetos (sea objetos virtuales o reales), sin embargo, la palabra “colección” y “conjunto” son sinónimos. También existen en el lenguaje coloquial palabras indefinibles como ¿que es el color azul?, o ¿que es bonito? sin usar dentro de su concepto la palabra “feo” y ninguno de sus contrarios, etc.

De la misma manera ocurre con el lenguaje de las demostraciones matemáticas, por mas formal que sea, siempre requerida de algún lenguaje informal. Este es un tema un poquito extenso para otra entrada en una sección distinta.

En resumen, las demostraciones matemática le concierne la estructura de las lenguajes formales para no caer en ambigüedades, este tipo de lenguajes se les llamada fórmulas bien formadas muy usado y constantemente reformulados hasta lograr una demostración matemática óptima, rigurosa y fuera de toda contradicción.

Finalidad de la DEMOSTRACIÓN MATEMÁTICA

Si bien, una demostración es la verificación de un resultado probado, es decir, probar nuevamente, por lo general, una demostración matemática sirve para convencer con fundamento en todo el proceso de la demostracion la veracidad de la teoria o teorema afirmada.

No todas las demostraciones resulta ser rigurosos, por lo general, muchos de ellos caen en lo intuitivo o supuesto, si bien es evidente que muchos cálculos demostrativos encontramos algunos conceptos no definidos, es importante enfatizar la correcta definición de aquello conceptos intuitivos que se pasaban por alto para el uso correcto en el proceso de la demostración.

Por ejemplo, si queremos demostrar a elevado a la n con exponente color rojo punto a elevado a la m con exponente color rojo = a elevado n+m, donde los valores de exponente m y exponente n son enteros positivos y la base base de la potenciación es un número real, comúnmente se usa la siguiente definición de exponente:

 a elevado a la n con exponente color rojo = multiplicar n veces el valor de a

Este concepto o definición es intuitivo y no riguroso porque tomas como supuestos a los puntos suspensivos “puntos suspensivos ” a todos los términos restantes de la base base de la potenciación que se multiplican, osea, lo que no se ve pero indican que existen ahí, también hay un paréntesis inferior que te indica cuantas veces debe multiplicarse la base ya que no se puede ver los repetitivos factores de multiplicación.

Esta metodología es una falta de rigurosidad y en matemáticas no se permite dejar por hipótesis intuitivas. La manera correcta de describir a elevado a la n con exponente color rojo es usando la siguiente formulación formal.

a elevado a la n = a la productoria de a donde i comienza a contar desde 1 hasta n

Aunque esta definición es auxiliar para demostrar el teorema a elevado a la n con exponente color rojo punto a elevado a la m con exponente color rojo = a elevado n+m, la manera correcta de demostrarlo es usando el teorema del principio de inducción matemática, de esta manera se evita los supuestos indefinidos puntos suspensivos “puntos suspensivos

Si bien, es posible formalizar correctamente la potencia a elevado a la n con exponente color rojo, pero es inevitable el lenguaje natural informal para explicar cada uno de estos pasos, es decir, para enfatizar el lenguaje formal de la demostración.

Pero los inconvenientes siempre persisten, porque para definir a elevado a la n con exponente color rojo, antes debemos definir el símbolo de la productoria:

definición de productoria

Como pueden ver, los puntos suspensivos “puntos suspensivos ” indican que existen una serie de factores a multiplicar con un orden adecuado, esto lo debemos aceptar como un supuesto intuitivo, si intentamos definir estos puntos suspensivos, entonces también tendríamos que formalizar aquellos conceptos con lo cual definimos los puntos suspensivos y esto sería un circulo visioso.

Un detalle que Godel logró darse cuenta y donde era imposible de lograr una demostración rigurosa bajo dos teoremas importantes llamado el teorema incompletitud de Godel, esto lo puedes encontrar en mi entrada de la teoría de las demostraciones matemáticas, allí explicó este problema.

CONDICIÓN suficiente y necesaria

Causa y efecto, estos dos palabras se relaciona muy fuertemente, una no existe sin la otra, toda causa produce un efecto y el efecto es consecuencia de una causa.

Muchas veces para que una conclusión sea correcta, debe registrar una serie requisitos para que este se cumpla. Si los requisitos son insuficientes, la conclusión no puede cumplirse, aunque probabilísticamente si, eso dependerá del contexto que se estudie.

Si tomamos como ejemplo el siguiente argumento “si llueve, entonces el piso se moja“, naturalmente si llueve, es inevitable que el piso se moja, entonces decimos que “llover” es condición suficiente para que el “piso esté mojado“.

Pero si el piso se ha mojado, ¿”fue culpa” de la lluvia? ¿o pueden existir otras razones?, claro que si, porque pueda que mi perro se halla orinado en el piso, se me resbalo una cacerola con agua o simplemente se me ocurrió mojarlo con ayuda a una manguera por razones particulares, entonces decimos que “el piso mojado” es condición necesaria pero no suficiente para culpar a la “lluvia” del suceso.

Lo que quiero decir con este sencillo ejemplo, es que si un antecedente es condición suficiente para un consecuente, pero no siempre el consecuente es condición suficiente para el antecedente, es decir, el consecuente es condición necesaria para el antecedente.

Veamos esto con un ejemplo super sencillo de matemática, sea las siguientes proposiciones:

  • Proposición pletra a minuscula cursiva y base de la potenciación son números pares.
  • Proposición qletra a minuscula cursiva + base de la potenciación es par.

De estas proposiciones podemos decir lo siguiente para los siguientes apartados:

Condición suficiente

Sea la siguiente proposición condicional Proposición p flecha que apunta a la derecha Proposición q: si letra a minuscula cursiva y base de la potenciación son números pares, entonces letra a minuscula cursiva = número 2proposición r y base de la potenciación = número 2letra k minúscula con cursiva, la suma sería letra a minuscula cursiva + base de la potenciación = número 2proposición r + número 2letra k minúscula con cursiva = número 2(proposición r + letra k minúscula con cursiva), aquí comprobamos que la suma letra a minuscula cursiva + base de la potenciación es par por tener como factor de multiplicación al número 2, por tanto, la proposición Proposición p flecha que apunta a la derecha Proposición q es verdadera y decimos entonces que Proposición p es condición suficiente para Proposición q.

Condición necesaria

Ahora verifiquemos si es verdad la proposición condicional Proposición q flecha que apunta a la derecha Proposición p: si letra a minuscula cursiva + base de la potenciación es par, podemos deducir dos posibilidades, una de ellas es como en el caso anterior, de que letra a minuscula cursiva = número 2proposición r y base de la potenciación = número 2letra k minúscula con cursiva pueden ser pares, sin embargo, también pueden ser impares y pueden tener la forma impar así letra a minuscula cursiva = número 2proposición rnúmero 1 y base de la potenciación = número 2letra k minúscula con cursiva + número 1, al sumarlos letra a minuscula cursiva + base de la potenciación = (número 2proposición r + número 1) + (número 2letra k minúscula con cursiva + número 1) = número 2(proposición r + letra k minúscula con cursiva + número 1), esto significa letra a minuscula cursiva y base de la potenciación también pueden ser impares y pueden generar una suma de un número par. Para estos casos, decimos que letra a minuscula cursiva + base de la potenciación par no es una condición suficiente, pero si una condición necesaria para que letra a minuscula cursiva y base de la potenciación sean pares.

En base estos resultados, concluimos que la conclusión es condición necesaria para las premisas y las premisas es condición suficiente para la conclusión.

Cuando la condición suficiente y necesaria se combinan

Pero la cosa cambia cuando agregamos un requisito mas para el segundo caso anterior (para el caso de la condición necesaria), donde:

  • Proposición pletra a minuscula cursiva y base de la potenciación son números pares.
  • Proposición qletra a minuscula cursiva + base de la potenciación es par.
  • Letra sletra a minuscula cursiva punto base de la potenciación es par.

Para el primer caso Proposición p flecha que apunta a la derecha (Proposición q símbolo de la conjunción Letra s): si letra a minuscula cursiva y base de la potenciación son pares, obviamente la suma letra a minuscula cursiva + base de la potenciación y la multiplicación letra a minuscula cursiva punto base de la potenciación son pares, aquí decimos que Proposición p es condición suficiente para Proposición q símbolo de la conjunción Letra s. El caso inverso (Proposición q símbolo de la conjunción Letra s) flecha que apunta a la derecha Proposición p, si consideramos Proposición q flecha que apunta a la derecha Proposición p y Letra s flecha que apunta a la derecha Proposición p por separado, tenemos los siguientes resultados:

Aquí letra a minuscula cursiva punto base de la potenciación  por si solo al ser un número par, no significa que letra a minuscula cursiva y base de la potenciación sean pares, por ejemplo el número 2 y número 1, igualmente sucede con la suma letra a minuscula cursiva + base de la potenciación, al ser este par, tampoco significa que letra a minuscula cursiva y base de la potenciación sean pares, como puede suceder con número 3 y número 5, resultando número 3 + número 5número 8.

Podemos decir que tanto la suma y la multiplicación por separado son condiciones necesarias pero no suficientes para que letra a minuscula cursiva y base de la potenciación sean pares.

Pero si lo juntamos en una proposición conjuntiva Proposición q símbolo de la conjunción Letra s: letra a minuscula cursiva + base de la potenciación y letra a minuscula cursiva punto base de la potenciación, resulta:

  • letra a minuscula cursiva + base de la potenciación = par … (I)
  • letra a minuscula cursiva punto base de la potenciación = par … (II)

De (I) despejamos letra a minuscula cursiva y reemplazamos en (II), tenemos:

  • letra a minuscula cursiva punto (par – letra a minuscula cursiva) = par … (III)

Si letra a minuscula cursiva e impar la condición (III) no se cumple, pero si letra a minuscula cursiva es par, esta misma condición se cumple tranquilamente, como letra a minuscula cursiva = par, lo reemplazamos en (I), obtenemos:

  • par + base de la potenciación = par

Para que esta última fórmula se cumple, es obligando que base de la potenciación sea también par. Por tanto, concluimos que las proposiciones Proposición q y Letra s no solo son condiciones necesarias, sino también son condiciones suficientes para que Proposición p se cumpla.

En definitiva se cumple tanto Proposición p flecha que apunta a la derecha (Proposición q símbolo de la conjunción Letra s) como (Proposición q símbolo de la conjunción Letra s) flecha que apunta a la derecha Proposición p, por tanto, decimos (Proposición q símbolo de la conjunción Letra s) es condición suficiente y necesaria para Proposición p si se cumple Proposición p símbolo de la bicondicional (Proposición q símbolo de la conjunción Letra s), naturalmente también podemos decir que Proposición p es condición suficiente y necesaria para (Proposición q símbolo de la conjunción Letra s) para el mismo esquema molecular. Proposición p símbolo de la bicondicional (Proposición q símbolo de la conjunción Letra s).

Espero que con estos ejemplos quede claro cuando debe decirse que un argumento es condición suficiente, condición necesaria y cuando es una condición suficiente y necesaria a la vez. Estas palabras son muy usadas en matemáticas para diferenciar muchos casos demostrativos.

Tengan en cuenta que si una condición de un antecedente es necesaria para un consecuente, se puede escribir como Proposición p flecha que apunta a la derecha Proposición q cosa que no lo hemos aclarado antes, pero no se puede escribir Proposición p símbolo de la implicación lógica Proposición q, es incorrecto, porque no se puede deducir Proposición q de Proposición p , esto ya lo aclaré en la entrada de la condicional material, pero mucho más en la entrada de la equivalencia, implicación e inferencia lógica.

Pero para aclararlo rápidamente aquí mismo, la proposición condicional Proposición p flecha que apunta a la derecha Proposición q puede ser verdadera como también falsa, y no se toma en cuenta el argumento de manera estricta de las proposiciones Proposición p y Proposición q, en cambio, para la implicación Proposición p símbolo de la implicación lógica Proposición q, esto resulta ser siempre una afirmación verdadera.

Por fin, comencemos con los diferentes métodos de demostraciones matemáticas que estábamos ya esperando desde un inicio.

Método de las demostraciones

Los métodos que trataremos a continuación son los mas habituales en el área de matemáticas y las más usadas, naturalmente la que vendrá en breve es la más usada de todas y si se me permite la palabra aquí, también la más confiable porque puedes observar todo el proceso de la demostración si hacer supuestos.

El resto de los métodos son usados cuando no es posible usar métodos directos, esto dependera de como y que manera se anuncie una proposición matemática, comencemos con el primero método:

Demostración directa

Este método se basa en un argumento condicional del tipo Proposición p flecha que apunta a la derecha Proposición q, en esta proposición se toma como punto de partida la hipótesis Proposición p que son los requisitos suficientes para Proposición q, en este caso, para la tesis; no olvidar que Proposición q es una condición necesaria de Proposición p. Luego, si la proposición condicional Proposición p flecha que apunta a la derecha Proposición q es verdadera, se afirma que la implicación Proposición p símbolo de la implicación lógica Proposición q (Proposición p implica Proposición q) es verdadera. Si Proposición q flecha que apunta a la derecha Proposición p resulta resulta ser falsa pero Proposición q logra ser una condición necesaria para Proposición p, la implicación no se cumple y se escribe Proposición p símbolo de la no implicación Proposición q, una condición necesaria no es una implicación pero si una condicional material donde se puede negar o afirmar una afirmación.

Ya se mostró ejemplos de demostración directa en el apartado anterior de “condición suficiente y necesaria“, pero el punto aquí es que la verdad del antecedente es la causa suficiente para que el consecuente sea verdadero.

En matemáticas, los requisitos suelen ser axiomas, definiciones y otros teoremas para su demostración, el proceso de la demostración comienza cuando se afirma que Proposición p flecha que apunta a la derecha Proposición q es verdadera porque se anunció como un teorema a demostrar, luego, se afirma la verdad de Proposición p para afirmar Proposición q, esto se puede representar en una sencilla lógica de la siguiente manera:

esquema de la Ley de modus ponens

Esta es una implicación notable llamado ley de Modus Ponens y su esquema original se escribe así (Proposición p flecha que apunta a la derecha Proposición qsímbolo de la conjunción Proposición p símbolo de la implicación lógica Proposición q. Un ejemplo de modo clásico de demostración directa sería este:

  • “Si hoy llueve, entonces el piso se moja”
  • “Hoy llueve”

  • “Por tanto, el piso se moja”

Aquí un ejemplo de derivada muy sencilla, se afirma la siguiente proposición condicional:

Si definición de una función entonces derivada de x al cuadrado respecto a x.

La ecuación definición de una función es el antecedente y con ello, debemos probar el consecuente derivada de x al cuadrado respecto a x, para ello, tomamos la igualdad la función f de x = x al cuadrado y lo reemplazamos en el antecedente, tenemos:

derivada de x al cuadrado respecto a x = (límite de (x - del incremento de x) al cuadrado menos x al cuadrado) / (el incremento de x) para un incremento que se aproxima mucho a 0

derivada de x al cuadrado respecto a x = límite de (2 veces x - el incremento de x)

como Limite del incremento de x respecto al incremento de x = 0, finalmente resulta:

derivada de x al cuadrado respecto a x

Esto demuestra que la proposición condicional es verdadera y por tanto, resulta ser una implicación. Este es un tipico ejemplo de demostración directa, no hay mas que decir, sigamos con el siguiente método de demostración.

Demostración por contraposición

Esta es una demostración indirecta donde realizaremos algunos ajustes lógicos a la implicación Proposición p símbolo de la implicación lógica Proposición q, hemos dicho que Proposición q es condición necesaria de Proposición p, de aquí se deduce que Proposición q no es condición suficiente para Proposición p o dicho de otro modo, símbolo de negaciónProposición q implica símbolo de negaciónProposición p, y se escribe así símbolo de negaciónProposición q símbolo de la implicación lógica símbolo de negaciónProposición p, esta afirmación sería condición suficiente para afirmar Proposición p símbolo de la implicación lógica Proposición q.

Lo único que hemos hecho es cambiar la dirección de la inferencia negando cada término proposicional Proposición p y Proposición q. Veamos un ejemplo con el siguiente argumento de forma condicional:

  • Si amanece, entonces habrá luz.

Naturalmente si amanece, implica que haya luz (Proposición p símbolo de la implicación lógica Proposición q), entonces amanecer es condición suficiente para que haya luz, sin embargo, si hay luz, no implica que amanezca, porque existe la posibilidad que la fuente de luz sea una fuente eléctrica artificial, en este caso Proposición q no implica Proposición p (Proposición q símbolo de la no implicación Proposición p), pero algo es seguro porque podemos deecir que:

  • Si no hay luz, entonces no ha amanecido. (símbolo de negaciónProposición q símbolo de la implicación lógica símbolo de negaciónProposición p)

Si se afirma Proposición p símbolo de la implicación lógica Proposición q, también se afirma símbolo de negaciónProposición q símbolo de la implicación lógica símbolo de negaciónProposición p, es decir:

Proposición p flecha que apunta a la derecha Proposición q símbolo de la implicación lógica símbolo de negaciónProposición q flecha que apunta a la derecha símbolo de negaciónProposición p

Para el caso de la lluvia y el piso mojado, decimos:

    • Si hoy llueve, entonces el piso se moja (Proposición p flecha que apunta a la derecha Proposición q)
    • Si el piso se moja, no significa que llueva (Proposición q símbolo de la no implicación Proposición p)
    • El piso no se moja, por tanto, no está lloviendo (símbolo de negaciónProposición q símbolo de la implicación lógica símbolo de negaciónProposición p)

¿Para que sirve este metodo? Supongamos que no podemos probar un teorema con el método directo, entonces usamos este método indirecto negando el consecuente y el antecedente cambiando la dirección de la implicación. Ese sería nuestro nuevo teorema a demostrar.

Demostración por reducción al absurdo

Tenemos una proposición Proposición p flecha que apunta a la derecha Proposición q, este método consiste considerar Proposición p flecha que apunta a la derecha símbolo de negaciónProposición q como verdadera para luego probarlo, si resulta que Proposición p flecha que apunta a la derecha símbolo de negaciónProposición q es falsa, entonces Proposición p flecha que apunta a la derecha Proposición q es verdadera.

En el lenguaje natural, es suponer como falsa la tesis del argumento que se intenta demostrar, luego, bajo una serie de operaciones intentamos buscar que la negación de tesis es deducible de la hipótesis original del argumento resultando por lo general una contradicción, es decir, un absurdo, implicando así la verdad del argumento original.

Esta es una demostración indirecta como en el apartado anterior, porque no parte del argumento o proposición original, este método suele llamarse también demostración por contradicción.

Este tipo de argumentos son muy usados en matemáticas y nos da una certeza de la verdad de los argumentos originales al demostrar la falsedad de su hipotética “falsedad” del argumento original.

Por ejemplo, queremos demostrar que si a al cuadrado es par, entonces letra a minuscula cursiva es par, entonces suponemos como verdadera que si a al cuadrado es par, entonces letra a minuscula cursiva es impar, en base este argumento, a al cuadrado = número 2letra k minúscula con cursiva, como estamos tratando con números enteros y divisibilidad, se supone que número 2 divide a a al cuadrado, hemos supuesto que letra a minuscula cursiva = número 2letra k minúscula con cursiva + número 1, elevando al cuadrado, resulta a al cuadradonúmero 4k al cuadrado + número 4letra k minúscula con cursiva + número 1número 2(número 2k al cuadrado + número 2letra k minúscula con cursiva) + número 1 = número 2proposición rnúmero 1, esto indica que a al cuadrado es impar, contradiciendo a al cuadrado = número 2letra k minúscula con cursiva. Por tanto, se demuestra que cuando letra a minuscula cursiva es par porque a al cuadrado es par.

Simbólicamente:

v mayúscula(Proposición p flecha que apunta a la derecha símbolo de negaciónProposición q) = f mayuscula  símbolo de la implicación lógica v mayúscula(Proposición p flecha que apunta a la derecha Proposición q) = v mayúscula

Si Proposición p flecha que apunta a la derecha símbolo de negaciónProposición q es falsa, implica que Proposición p flecha que apunta a la derecha Proposición q sea verdadera.

Demostración por el principio de inducción MATEMÁTICA

El principio de inducción matemática es una regla lógica matemática y no una prueba de ensayo y error para tener cierto grado de certeza para que una teoría sea verdadera, es decir, una conjetura. En matemáticas, una prueba repetitiva para diferentes números que sean ordenados o aleatorios de una propiedad no es considerado una como una demostración rigurosa o mas extrictamente hablando, no es una demostracion propiamente dicha.

Es por ello que debemos diferenciar entre un razonamiento inductivo y el principio de inducción matemática; el primero como ya mencioné, no es considerado como una demostración matemática, porque podemos caer en conjeturas que ya expliqué en apartados anteriores, en cambio, el principio de inducción o inducción completa, es un teorema donde su demostración esta regido por el razonamiento deductivo.

El teorema del principio de inducción dice así:

Un enunciado p sub n, donde letra n en cursiva es un entero positivo (es decir, un número contable), es cierta para todos los valores enteros positivos de letra n en cursiva si se satisface los siguientes dos requisitos:

    • p sub 1 es verdadero, esto es, el enunciado se cumple para letra n en cursiva = número 1
    • Si letra i cursiva minuscula es un entero positivo arbitrario para el que  es hipotéticamente verdadero, entonces p sub i+1 también es verdadero, demostrando la verdad de los enunciados p sub n y p sub 1.

Por ejemplo, queremos demostrar que n al cubo + número 2letra n es múltiplo número 3, desde el punto de vista de Euclides, el procedimiento sería el siguiente:

  • Si letra nnúmero 1, entonces 1 al cubo + número 2(número 1) = número 3 es múltiplo de número 3.
  • Si letra n = número 2, entonces 2 al cubo + número 2(número 2) = número 1número 2 es múltiplo de número 3.
  • Si letra n = número 3, entonces 3 al cubo + número 2(número 3) = número 3número 3 es múltiplo de número 3.
  • Si letra n = número 4, entonces 4 al cubo + número 2(número 4) = sietenúmero 2 es múltiplo de número 3.

Aparentemente este método indica que para el resto de los enteros positivos para el valor de n al cubo + número 2letra n  resultará siempre múltiplo de número 3, sin embargo, el razonamiento inductivo que se usa en otras ciencias de la investigacion, para el caso de las matemática no es considerado una demostración. Por esta razón, las matemáticas hacen uso del principio de inducción matemática, es un teorema que se puede demostrar tranquilamente por métodos deductivos, sin recurrir a la inducción de ensayo o prueba y error.

No voy a demostrar el teorema, ya haremos un capitulo de ella en otra oportunidad, solo mostraré su adecuado uso con el siguiente ejemplo:

Para letra nnúmero 1 naturalmente se prueba que 1 al cubo + número 2(número 1) = número 3 es múltiplo de número 3.

Para letra nletra k minúscula con cursiva supondremos que k elevado al cubo + número 2letra k minúscula con cursiva es múltiplo de número 3, en base a esto, tenemos que probar que:

Para letra nletra k minúscula con cursiva + número 1 donde (k + 1) al cubo + 2(k + 1) debe ser múltiplo de número 3. En efecto, si realizamos la operaciones correspondientes, resulta que: (k + 1) al cubo + 2(k + 1) = (k al cubo mas 2k)+3(k al cuadrado + k + 1), como el factor k elevado al cubo + número 2letra k minúscula con cursiva es múltiplo de número 3 y el factor 3(k al cuadrado + k + 1) es múltiplo de número 3, por tanto, por el principio de inducción decimos que n al cubo + número 2letra n es múltiplo de número 3.

Este teorema nos ayuda a evitar el innecesario trabajo de probar con diferentes valores que le asignemos a nuestra proposición-teorema para creer que es cierta porque ciertos valores particulares también sea cierta.

DEMOSTRACIÓN constructiva

Aquí podemos encontrar 3 casos diferentes de demostración por construcción, se le dice por construcción porque se construye un ejemplo que puede afirmar o contradecir un argumento, este método es un método de probabilidad de existencia, es decir, existe la probabilidad de que si existe un ejemplo particular para una proposición, entonces la proposición indica que existe otros casos que la proposición indica. Veamos dos casos derivadas de estas.

Demostración por existencialidad particular

Este método sirve para demostrar que existe un caso que cumple con los requisitos de una propiedad hipotética general de existencia que no se puede probar directamente desde la misma propiedad o por lo menos, no se tiene los requisitos necesarios para demostrar desde la propiedad.

Aunque esto no excluye que pueda usarse para aquellos casos donde la demostración es directa, por lo que se tomaría de manera auxiliar o secundaria este tipo de demostraciones

Decimos “existencialidad particular”, porque se prueba con un ejemplo particular un caso general de un argumento que afirma la existencia de un conjunto definido de casos que cumple una propiedad del argumento dado. Exte método no sirve para casos generales, sino para casos de existencia. Vayamos con un ejemplo:

Para todos los valores base de la potenciaciónbase de la potenciación símbolo de pertenencia símbolo del conjunto de los números irracionales, existe un letra k minúscula con cursiva símbolo de pertenencia  Conjunto de los números enteros tal que base de la potenciación + base de la potenciación = letra k minúscula con cursiva; tenga en cuenta que símbolo del conjunto de los números irracionales representa al conjunto de números irracionales y Conjunto de los números enteros es el conjunto de los números enteros. Este enunciado nos dice que existe un número entero producto de la suma de dos números irracionales. 

Basta con un simple ejemplo particular indica que el enunciado anterior es verdadero. En efecto, si tomamos los siguientes valores irracionales:

  • base de la potenciación = número 3 + raíz cúbica de 18
  • base de la potenciación = número 4 – raíz cúbica de 18

Al sumarlo, el valor de raíz cúbica de 18 se cancela quedando:

  • base de la potenciación + base de la potenciación = siete (entero)

De esta manera queda demostrado el enunciado.

Demostración por contraejemplo

Este método consiste en considerar una conclusión contraria de una proposición general (no existencial) como verdadera y encontrar un caso particular que contradiga dicha conclusión contraria, demostrando de esta manera la proposición general con su conclusión original, es decir, la conclusión no contraria.

Por ejemplo, Cantor uso este método para demostrar que los números reales no son numerables, por ejemplo, queremos averiguar si todos los números reales entre número ceronúmero 1 son numerables, en este caso, estamos suponiendo que los números reales son numerables. A Continuación veremos un método informal para que vean como funciona este método.

Es decir, se puede colocar los números reales en una sucesión donde sea posible contabilizarlos con los números naturales, tomemos dos valores reales de la sucesión base de la potenciaciónbase de la potenciación  comprendidas entre número cero y número 1 tal qué número cero Símbolo del menor que base de la potenciación Símbolo del menor que base de la potenciación Símbolo del menor que número 1 donde base de la potenciación es el número letra n en cursiva y base de la potenciación es el número letra n en cursiva + número 1, es decir, base de la potenciación es el siguiente número de base de la potenciaciónpero el valor medio de base de la potenciación base de la potenciación es:

base de la potenciación Símbolo del menor que valor medio de a y b Símbolo del menor que base de la potenciación

También es un número real, la pregunta es, ¿cual es la numeración de valor medio de a y b entre letra n en cursiva y letra n en cursiva + número 1?, naturalmente ninguna porque no existe un número natural entre letra n en cursiva y letra n en cursiva + número 1 para contabilizar valor medio de a y b en la sucesión. Esto demuestra que los números reales son no numerables.

Demostración por casos

También se le llama demostración por exhaustividad, este método se basa para demostrar una proposición en bajo una serie limitada de únicos casos existentes, por ejemplo, si letra n en cursiva símbolo de pertenencia Conjunto de los números enteros, entonces n al cuadrado mayor igual que número cero

Para demostrarlo, debemos suponer dos casos, esto es para letra n en cursiva menor que número cero, que seria el caso 1 y para letra n en cursiva mayor o igual a número cero como el caso 2, en cualquiera de los dos únicos casos posibles, al ser elevado al cuadrado, siempre se cumple n al cuadrado mayor igual que número cero quedando demostrado la proposición.

Demostración por el método de la disyunción Exclusiva

También se le conoce como demostración no constructiva, este método nos ayuda a crear posibilidades hipotéticas contrarias que si bien no se sabe cuál de las dos es verdadera, indica que siempre una de las dos debe ser verdadera y no ambas demostrando de esta manera la verdad de la proposición.

Este es un ejemplo clásico que lo puedes encontrar hasta en wikipedia, se quiere probar que “un irracional elevado a otro irracional nos da como resultado la posibilidad de la existencia de un racional” o dicho de otro modo, “existen dos números irracionales base de la potenciaciónbase de la potenciación que da como resultado un número racional del tipo a elevado a la b“.

Tenemos el siguiente número irracional raíz cuadrada de 2, queremos averiguar si (raíz cuadrada de 2) elevado a la raíz cuadrada de 2 cumple con nuestro argumento, supongamos dos posibles hipótesis contrarias:

  • Si (raíz cuadrada de 2) elevado a la raíz cuadrada de 2 es racional, entonces el asunto se encuentra solucionado, no hay más que demostrar.
  • Si (raíz cuadrada de 2) elevado a la raíz cuadrada de 2 es irracional, entonces realizaremos la siguiente estrategia, elevaremos este resultado a otro número irracional, esto es raíz cuadrada de 2. Tenemos:
    ((raíz cuadrada de 2) elevado a la raíz cuadrada de 2) elevado a la raíz cuadrada de 2 = (raiz cuadrada de 2) elevado a la ((raíz cuadrado de 2) por raíz cuadrado de 2) = (raíz cuadrada de 2) al cuadrado = 2
  • como pueden ver, resulta un numero racional.

Por tanto, queda probado que en cualquiera de los dos resultados contrarios resulta posible la existencia de un racional de la forma a elevado a la b donde base de la potenciaciónbase de la potenciación son irracionales.

Demostración visual

Es un método de demostración clásica que se usa en la enseñanza media como la geometría euclidiana y esta basado basado en la intuición lógica, es decir, no es un método formal de demostración, un método formal de demostración matemática de manera formal y no visual de la geometría euclidiana lo podemos ver en un libro de geometría de Carlos Ivorra en su libro “el álgebra y la geometría elemental”.

Por ejemplo, queremos demostrar el teorema de pitágoras:

triángulo rectángulo

Teorema de Pitágoras

a al cuadrado + b al cuadrado = c al cuadrado

Donde base de la potenciaciónbase de la potenciación son los catetos y 

Para demostrarlo, haremos una construcción geométrica adicional de nuestro triangulo rectángulo, nuestra nueva gráfica sería.

En la imagen que ves a lado izquierdo o arriba si estas en un móvil, hemos duplicado el triángulo rectángulo de color naranja, en este caso el color azul, se ha colocado el triángulo azul de tal manera que el lado base de la potenciación, sea perpendicular al lado base de la potenciación del triángulo naranja y que el lado base de la potenciación del triángulo naranja forme un solo segmento con el lado base de la potenciación del triángulo azul, formando de esta manera un trapecio rectangulo.

Como se habrán dado cuenta, se ha generado un triángulo rectángulo de catetos iguales que olvide enumerar, llamemoslo triángulo 3. Las áreas de cada una de ellas son:

  • Triángulo 1: (a por b) entre 2
  • Triángulo 2: (a por b) entre 2
  • Triángulo 3: (c al cuadrado) entre 2

Tengan en cuenta que el triángulo 1 y 2 son iguales por lo que tienen áreas iguales y el triángulo 3 que olvide enumerar es un triángulo rectángulo de catetos iguales, por ello en su área existe un factor c al cuadrado ya que los catetos son iguales a letra c.

La suma de las áreas de estos triángulos forma el área del trapecio rectángulo y la formula del area de este trapecio es:

  • Trapecio rectángulo: altura por (base mayor + base menor) entre 2 = ((a+b) al cuadrado) entre 2
 

Como el área del trapecio rectángulo es igual a la suma de los 3 triángulos, tenemos:

  • ((a + b) al cuadrado) entre 2 = (a por b)/2 + (a por b)/2 + (c al cuadrado)/2

Resolviendo, resulta a al cuadrado + b al cuadrado = c al cuadrado, de esta manera demostramos el teorema de pitágoras por el método visual.

Como ya mencione anteriormente, este tipo de demostraciones es método informal, ya que era necesario usar imágenes de apoyo para su demostración, una demostración formal se logra simbolizando formalmente los gráficos geométricos bajo definiciones y realizar todo el desarrollo por medio de argumentos matemáticos.

Fin de la entrada numero 12

Estos son los métodos mas habituales y los que más usarán en el curso de matemáticas, por lo general en el área de las facultades de matemáticas de las universidades que en otras ciencias.

Esto no es una wikipedia por lo que no pondré informacion que no usarán habitualmente, estos métodos lo verán comúnmente no solo en cursos avanzados de matemática, sino también aquí, en todos mis cursos de matemática.

Esta página como el resto de las paginas de lógica proposicional, se actualizarán constantemente por cuestiones de SEO, pero sobre todo por información vital de las entradas del capitulo que estoy tratando.

La próxima entrada desarrollaré el capítulo de circuitos lógicos y en la subsiguiente me centraré a desarrollar problemas de lógica proposicional.

Y esto sería todo queridos amigos, nos vemos en la próxima entrada, bye.

Detalles
Fecha de Revision
Nombre De La Entrada
Métodos De La Demostración Matemática
Clasificación
51star1star1star1star1star
2018-07-14T22:55:31+00:00
This website uses cookies and third party services. Ok