SlideShare une entreprise Scribd logo
1  sur  18
Mat. Juan Jiménez Krassel
   ¿Qué es el conocimiento matemático?
    ◦ Se mueve entre dos posiciones, por un lado, su naturaleza
      histórica y por otra, los objetos matemáticos actuales.

    ◦ Pudiera pensarse que el conocimiento matemático actual se
      ocupa de estructuras y sus propiedades, lo que implica poner el
      acento principal en cuestiones lógicas.

    ◦ Dichas estructuras pueden apreciarse por su belleza y
      abstracción, como ocurre con otros productos de la creatividad
      humana, pero también por el servicio que brindan a las demás
      ciencias, por sus posibilidades de aplicación.
   ¿Cómo se adquiere dicho conocimiento?
    ◦ Directa. Mediante la intuición, un conocimiento creativo
      y subjetivo: Razonamiento empírico.

    ◦ Reflexiva. Mediante la lógica, un conocimiento analítico y
      reflexivo: Razonamiento deductivo.
Razonamiento empírico

 ◦ El razonamiento empírico puede describirse como la
   formulación de las conclusiones que se basan en la
   experiencia y en la observación.

 ◦ El    razonamiento   empírico    contiene   a   menudo
   manipulaciones     pesadas    con    casos    especiales,
   observación de coincidencias y el empleo frecuente de la
   analogía, la experiencia a una buena suposición, la
   experimentación considerable y los destellos de
   intuición.*




                     *Estudio de las Geometrías: Howard Eves
Razonamiento deductivo
   Platón filósofo griego en su obra La
    República describe la contraposición entre
    la realidad y el conocimiento e incluye
    pasajes en los que establece que la
    matemática (y todo razonamiento lógico)
    necesita apoyarse en presupuestos
    previos y en lo que llama el conocimiento
    discursivo descendente, de lo que se
    presupone a lo que se deduce.
Naturaleza empírica
                  El cálculo inicia por
                   determinar el área de la
                   base: 4×4 = 16.
                  Se encuentra el área de la
                   tapa: 2×2 = 4.
                  Después se computa el
                   producto del lado de la base
                   por el lado de la tapa: 4×2 =
                   8. Estos números se suman
                   y se obtiene 28.
                  Ahora se toma un tercio de
                   la altura, es decir, 2.
                   Finalmente se toman el
                   producto de un tercio de la
                   altura y 28 y el escriba
                   anota: Miren que da 56.
Naturaleza deductiva


                La primera obra
                conocida de
                naturaleza
                deductiva son los
                Elementos de
                Euclides.
 Para establecer la verdad de proposiciones.
 Para comunicar verdades matemáticas.

 Para construir técnicas para resolver cierto tipo de

  problemas.
 Sistematización de resultados.

 Descubrimiento
 La intuición es un elemento importante al
  demostrar una proposición.
 Formular conjeturas, elaborar generalizaciones,

  plantear hipótesis.
 La intuición puede llevarnos a resultados poco

  confiables, por tanto, es imprescindible demostrar
  lo que la intuición nos proporciona.
   El razonamiento inductivo se basa en la
    elaboración de conjeturas e hipótesis que, a partir
    de un conjunto de observaciones, conducen a la
    generalización de propiedades. Probar una
    propiedad requiere de la deducción que la
    independiza de la experiencia y la torna universal.
 El razonamiento deductivo. A partir de un sistema
  axiomático, se elaboran cadenas de argumentos
  que permiten establecer la validez de
  proposiciones matemáticas.
 El principio básico consiste en determinar el valor

  de verdad de proposiciones del tipo “Si A
  entonces B”
   Antes de los griegos.
    ◦ Las matemáticas conocidas eran tratados sobre
      formulas y procedimientos que permitían resolver
      problemas, sin necesidad de una demostración.
   La matemática griega.
    ◦ Es el primer ejemplo de sistematización de las
      matemáticas conocidas, así como del uso del
      razonamiento deductivo en las demostraciones
      matemáticas.
   Dada una proposición de la forma “ Si A entonces
    B”, llamamos a A hipótesis y a B conclusión. Así,
    la idea de demostrar una proposición del tipo
    anterior, consiste en suponer que A es verdadero,
    y al construir una cadena de argumentos, obtener
    que B es verdadero.
 Una manera de hacerlo es pensar “de adelante
  para atrás”. Es decir, pensemos que B es
  verdadero y en las posibles formas equivalentes
  (en términos de verdad) de la proposición B, de
  forma que resulte más simple obtener la
  conclusión.
 Otra manera es la de ir “de atrás para adelante”,

  suponiendo que A es verdadero, obtener
  proposiciones equivalentes a A encaminadas a
  probar que B es verdadero.
   Demostrar que:
    ◦ Si n es un entero par, entonces el cuadrado de n
      también es par.
    ◦ Si n es un entero para el cuál     −n +2
                                            2
                                          3 n+8=0
    entonces     22−n −
                  n 3 =2
Otro método para demostrar proposiciones
 matemáticas es utilizando la equivalencia lógica
 de la proposición “si A entonces B” con la de “si
 no B entonces no A”, conocido como
 contrapositiva,  y    aplicando   los    métodos
 anteriores.
Demuestre que si c es un entero+−=
                              2 impar, entonces la
                            n nc 0
 solución de
es impar.
Otro método para demostrar proposiciones es el
 de “reducción al absurdo”. En este método se
 trata de suponer que A es verdadero y que no B
 también es verdadero, de donde se obtiene una
 contradicción.
Demuestre que raíz cuadrada de 2 es un número
 no racional.
   El método de inducción matemática consiste en
    probar que una propiedad es verdadera para el
    conjunto de los números naturales, haciendo uso
    de lo siguiente: Si A es un subconjunto de los
    números naturales que cumple: 1) el 1 pertenece
    al conjunto A y 2) si k esta en A entonces k+1
    también esta en A, entonces A es el conjunto de
    los números naturales.

Contenu connexe

Tendances

Conjeturas matemáticas
Conjeturas matemáticasConjeturas matemáticas
Conjeturas matemáticasDurero
 
Metodos de demostracion
Metodos de demostracionMetodos de demostracion
Metodos de demostracionpuce-si
 
Metodo de demostracion directa e indirecta
Metodo de demostracion directa e indirectaMetodo de demostracion directa e indirecta
Metodo de demostracion directa e indirectaShoppy Mind'Freak
 
Matematicas y su lenguaje
Matematicas y su lenguajeMatematicas y su lenguaje
Matematicas y su lenguajeALANIS
 
Inducción matemática
Inducción matemáticaInducción matemática
Inducción matemáticaRlibardo
 
Demostraciones Formales
Demostraciones FormalesDemostraciones Formales
Demostraciones Formalesnerdito
 
Demostracion matematica
Demostracion matematicaDemostracion matematica
Demostracion matematicayoko20142
 
3ro numero complejos grupal
3ro numero complejos   grupal3ro numero complejos   grupal
3ro numero complejos grupalJeremyPolo1
 
3ro numero complejos mishel barzallo jeremy polo damaris
3ro numero complejos mishel barzallo jeremy polo damaris3ro numero complejos mishel barzallo jeremy polo damaris
3ro numero complejos mishel barzallo jeremy polo damarisjordycedillo1
 
Logica matematica
Logica matematicaLogica matematica
Logica matematica08061028
 
Logica matematica
Logica matematicaLogica matematica
Logica matematica28100608
 
Proposiciones
ProposicionesProposiciones
Proposicionesluisv9616
 
Pruebas de Validez e invalidez lógica
Pruebas de Validez e invalidez lógicaPruebas de Validez e invalidez lógica
Pruebas de Validez e invalidez lógicaMike Coral
 
Unidad i proposiciones
Unidad i proposicionesUnidad i proposiciones
Unidad i proposicionesJesus Montes
 
metodos de demostracion
metodos de demostracionmetodos de demostracion
metodos de demostracionCristopher
 

Tendances (20)

Conjeturas matemáticas
Conjeturas matemáticasConjeturas matemáticas
Conjeturas matemáticas
 
Metodos de demostracion
Metodos de demostracionMetodos de demostracion
Metodos de demostracion
 
Demostracion condicional
Demostracion condicionalDemostracion condicional
Demostracion condicional
 
Metodo de demostracion directa e indirecta
Metodo de demostracion directa e indirectaMetodo de demostracion directa e indirecta
Metodo de demostracion directa e indirecta
 
Matematicas y su lenguaje
Matematicas y su lenguajeMatematicas y su lenguaje
Matematicas y su lenguaje
 
Inducción matemática
Inducción matemáticaInducción matemática
Inducción matemática
 
Demostraciones Formales
Demostraciones FormalesDemostraciones Formales
Demostraciones Formales
 
Demostracion matematica
Demostracion matematicaDemostracion matematica
Demostracion matematica
 
Metodo Demostrativo
Metodo DemostrativoMetodo Demostrativo
Metodo Demostrativo
 
3ro numero complejos grupal
3ro numero complejos   grupal3ro numero complejos   grupal
3ro numero complejos grupal
 
3ro numero complejos mishel barzallo jeremy polo damaris
3ro numero complejos mishel barzallo jeremy polo damaris3ro numero complejos mishel barzallo jeremy polo damaris
3ro numero complejos mishel barzallo jeremy polo damaris
 
Logica matematica
Logica matematicaLogica matematica
Logica matematica
 
Logica matematica
Logica matematicaLogica matematica
Logica matematica
 
Proposiciones
ProposicionesProposiciones
Proposiciones
 
Estructura junis
Estructura junisEstructura junis
Estructura junis
 
Pruebas de Validez e invalidez lógica
Pruebas de Validez e invalidez lógicaPruebas de Validez e invalidez lógica
Pruebas de Validez e invalidez lógica
 
CALCULO PROPOSICIONAL
CALCULO PROPOSICIONALCALCULO PROPOSICIONAL
CALCULO PROPOSICIONAL
 
Deber de algebra
Deber de algebraDeber de algebra
Deber de algebra
 
Unidad i proposiciones
Unidad i proposicionesUnidad i proposiciones
Unidad i proposiciones
 
metodos de demostracion
metodos de demostracionmetodos de demostracion
metodos de demostracion
 

En vedette

Campaña publicitaria del csd colo colo
Campaña publicitaria del csd colo coloCampaña publicitaria del csd colo colo
Campaña publicitaria del csd colo coloFabian Cabello
 
Adverbios de 6º jose antonio-jromo05.com
Adverbios de 6º jose antonio-jromo05.comAdverbios de 6º jose antonio-jromo05.com
Adverbios de 6º jose antonio-jromo05.comMIMOSA5
 
Ana Mendez no cree en el Arrebatamiento, ni las bodas del Cordero ni las call...
Ana Mendez no cree en el Arrebatamiento, ni las bodas del Cordero ni las call...Ana Mendez no cree en el Arrebatamiento, ni las bodas del Cordero ni las call...
Ana Mendez no cree en el Arrebatamiento, ni las bodas del Cordero ni las call...Celin Castillo
 
Primera guerra mundial
Primera guerra mundialPrimera guerra mundial
Primera guerra mundialLorenitaxtkm
 
El pensamiento-creativo de-bono (1)
El pensamiento-creativo de-bono (1)El pensamiento-creativo de-bono (1)
El pensamiento-creativo de-bono (1)Pau Andrea
 
Aplicaciones iOS Nivel I
Aplicaciones iOS Nivel IAplicaciones iOS Nivel I
Aplicaciones iOS Nivel IAlterware
 
Cuadernillo guardería
Cuadernillo guarderíaCuadernillo guardería
Cuadernillo guarderíamujerppp
 
Presentación1
Presentación1Presentación1
Presentación1costis93
 
infliencia de la internet en nuestros cerebros
infliencia de la internet en nuestros cerebrosinfliencia de la internet en nuestros cerebros
infliencia de la internet en nuestros cerebroskarinanancyruizacosta
 
Aplicaciones clave catalina ortega ramírez
Aplicaciones clave catalina ortega ramírezAplicaciones clave catalina ortega ramírez
Aplicaciones clave catalina ortega ramírezCatalina Ortega
 
Humanizando el e-learning: factor clave del éxito
Humanizando el e-learning: factor clave del éxitoHumanizando el e-learning: factor clave del éxito
Humanizando el e-learning: factor clave del éxitoCRISEL BY AEFOL
 
El valiente jefe cobarde
El valiente jefe cobardeEl valiente jefe cobarde
El valiente jefe cobardejuanesgonzalez
 
Dispositivos de comunicacion
Dispositivos de comunicacionDispositivos de comunicacion
Dispositivos de comunicacionestefania-rafael
 

En vedette (20)

Terremotosmaloka
TerremotosmalokaTerremotosmaloka
Terremotosmaloka
 
Isa tecnologia
Isa tecnologiaIsa tecnologia
Isa tecnologia
 
Campaña publicitaria del csd colo colo
Campaña publicitaria del csd colo coloCampaña publicitaria del csd colo colo
Campaña publicitaria del csd colo colo
 
Adverbios de 6º jose antonio-jromo05.com
Adverbios de 6º jose antonio-jromo05.comAdverbios de 6º jose antonio-jromo05.com
Adverbios de 6º jose antonio-jromo05.com
 
Ana Mendez no cree en el Arrebatamiento, ni las bodas del Cordero ni las call...
Ana Mendez no cree en el Arrebatamiento, ni las bodas del Cordero ni las call...Ana Mendez no cree en el Arrebatamiento, ni las bodas del Cordero ni las call...
Ana Mendez no cree en el Arrebatamiento, ni las bodas del Cordero ni las call...
 
Herramientas de las ntics
Herramientas de las nticsHerramientas de las ntics
Herramientas de las ntics
 
Primera guerra mundial
Primera guerra mundialPrimera guerra mundial
Primera guerra mundial
 
El pensamiento-creativo de-bono (1)
El pensamiento-creativo de-bono (1)El pensamiento-creativo de-bono (1)
El pensamiento-creativo de-bono (1)
 
I
II
I
 
Aplicaciones iOS Nivel I
Aplicaciones iOS Nivel IAplicaciones iOS Nivel I
Aplicaciones iOS Nivel I
 
Taller ava y ova jonathan pedroza
Taller ava y ova jonathan pedrozaTaller ava y ova jonathan pedroza
Taller ava y ova jonathan pedroza
 
Televisor (1) erwin adolfo
Televisor (1) erwin adolfoTelevisor (1) erwin adolfo
Televisor (1) erwin adolfo
 
Cuadernillo guardería
Cuadernillo guarderíaCuadernillo guardería
Cuadernillo guardería
 
Presentación1
Presentación1Presentación1
Presentación1
 
infliencia de la internet en nuestros cerebros
infliencia de la internet en nuestros cerebrosinfliencia de la internet en nuestros cerebros
infliencia de la internet en nuestros cerebros
 
Aplicaciones clave catalina ortega ramírez
Aplicaciones clave catalina ortega ramírezAplicaciones clave catalina ortega ramírez
Aplicaciones clave catalina ortega ramírez
 
Humanizando el e-learning: factor clave del éxito
Humanizando el e-learning: factor clave del éxitoHumanizando el e-learning: factor clave del éxito
Humanizando el e-learning: factor clave del éxito
 
El valiente jefe cobarde
El valiente jefe cobardeEl valiente jefe cobarde
El valiente jefe cobarde
 
Nutricion
NutricionNutricion
Nutricion
 
Dispositivos de comunicacion
Dispositivos de comunicacionDispositivos de comunicacion
Dispositivos de comunicacion
 

Similaire à Conocimiento matemático: Razonamiento empírico y deductivo

Objetivo unidad 1.pdf estructura discreta 1 jhonder orozco
Objetivo unidad 1.pdf estructura discreta 1 jhonder orozcoObjetivo unidad 1.pdf estructura discreta 1 jhonder orozco
Objetivo unidad 1.pdf estructura discreta 1 jhonder orozcoJhonder Orozco
 
Herney guzman logica matematica
Herney guzman logica matematicaHerney guzman logica matematica
Herney guzman logica matematicaHerneyGuzman
 
Logicamatematica paula alejandra
Logicamatematica paula alejandraLogicamatematica paula alejandra
Logicamatematica paula alejandrapaula0610
 
Logicamatematica herney guzman
Logicamatematica herney guzmanLogicamatematica herney guzman
Logicamatematica herney guzmanHerneyGuzman
 
Lo visual y lo deductivo en las matematicas Carlos Torres Alcaraz
Lo visual y lo deductivo en las matematicas Carlos Torres Alcaraz Lo visual y lo deductivo en las matematicas Carlos Torres Alcaraz
Lo visual y lo deductivo en las matematicas Carlos Torres Alcaraz TORNARSOL
 
Lo visual y deductivo en las matemáticas
Lo visual y deductivo en las matemáticasLo visual y deductivo en las matemáticas
Lo visual y deductivo en las matemáticasTORNARSOL
 
Razonamiento inductivo y deductivo correcto
Razonamiento inductivo y deductivo correctoRazonamiento inductivo y deductivo correcto
Razonamiento inductivo y deductivo correctoColbertUnADM
 
Problema matematicas 1 B PROCESOS INDUSTRIALES
 Problema matematicas 1 B PROCESOS INDUSTRIALES Problema matematicas 1 B PROCESOS INDUSTRIALES
Problema matematicas 1 B PROCESOS INDUSTRIALESLiiizbeth
 
Fascículo9. Mundo de las demostraciones. Trigonometría. Matemática Maravillos...
Fascículo9. Mundo de las demostraciones. Trigonometría. Matemática Maravillos...Fascículo9. Mundo de las demostraciones. Trigonometría. Matemática Maravillos...
Fascículo9. Mundo de las demostraciones. Trigonometría. Matemática Maravillos...Karina
 
Resolucion del problema falacias
Resolucion del problema falaciasResolucion del problema falacias
Resolucion del problema falaciasGabriela Silva
 
Razonamiento deductivo e_inductivo_eje_2
Razonamiento deductivo e_inductivo_eje_2Razonamiento deductivo e_inductivo_eje_2
Razonamiento deductivo e_inductivo_eje_2Hab Bbo
 
matemáticas demostración matematica falaz
matemáticas demostración matematica falazmatemáticas demostración matematica falaz
matemáticas demostración matematica falazEstefany Ruvalcaba
 

Similaire à Conocimiento matemático: Razonamiento empírico y deductivo (20)

falacia en matematicas
falacia en matematicasfalacia en matematicas
falacia en matematicas
 
Deber 19 oct 2010
Deber 19 oct 2010Deber 19 oct 2010
Deber 19 oct 2010
 
Objetivo unidad 1.pdf estructura discreta 1 jhonder orozco
Objetivo unidad 1.pdf estructura discreta 1 jhonder orozcoObjetivo unidad 1.pdf estructura discreta 1 jhonder orozco
Objetivo unidad 1.pdf estructura discreta 1 jhonder orozco
 
Herney guzman logica matematica
Herney guzman logica matematicaHerney guzman logica matematica
Herney guzman logica matematica
 
la falacia matematic
la falacia matematicla falacia matematic
la falacia matematic
 
Logicamatematica paula alejandra
Logicamatematica paula alejandraLogicamatematica paula alejandra
Logicamatematica paula alejandra
 
Logicamatematica herney guzman
Logicamatematica herney guzmanLogicamatematica herney guzman
Logicamatematica herney guzman
 
Logica matematica
Logica matematicaLogica matematica
Logica matematica
 
Logica matematica
Logica matematicaLogica matematica
Logica matematica
 
Lo visual y lo deductivo en las matematicas Carlos Torres Alcaraz
Lo visual y lo deductivo en las matematicas Carlos Torres Alcaraz Lo visual y lo deductivo en las matematicas Carlos Torres Alcaraz
Lo visual y lo deductivo en las matematicas Carlos Torres Alcaraz
 
Lo visual y deductivo en las matemáticas
Lo visual y deductivo en las matemáticasLo visual y deductivo en las matemáticas
Lo visual y deductivo en las matemáticas
 
Razonamiento inductivo y deductivo correcto
Razonamiento inductivo y deductivo correctoRazonamiento inductivo y deductivo correcto
Razonamiento inductivo y deductivo correcto
 
Problema matematicas 1 B PROCESOS INDUSTRIALES
 Problema matematicas 1 B PROCESOS INDUSTRIALES Problema matematicas 1 B PROCESOS INDUSTRIALES
Problema matematicas 1 B PROCESOS INDUSTRIALES
 
Lógica trabajo
Lógica trabajoLógica trabajo
Lógica trabajo
 
Fascículo9. Mundo de las demostraciones. Trigonometría. Matemática Maravillos...
Fascículo9. Mundo de las demostraciones. Trigonometría. Matemática Maravillos...Fascículo9. Mundo de las demostraciones. Trigonometría. Matemática Maravillos...
Fascículo9. Mundo de las demostraciones. Trigonometría. Matemática Maravillos...
 
Resolucion del problema falacias
Resolucion del problema falaciasResolucion del problema falacias
Resolucion del problema falacias
 
Razonamiento deductivo e_inductivo_eje_2
Razonamiento deductivo e_inductivo_eje_2Razonamiento deductivo e_inductivo_eje_2
Razonamiento deductivo e_inductivo_eje_2
 
matemáticas demostración matematica falaz
matemáticas demostración matematica falazmatemáticas demostración matematica falaz
matemáticas demostración matematica falaz
 
Trabajo en equipo
Trabajo en equipoTrabajo en equipo
Trabajo en equipo
 
Matematicas
MatematicasMatematicas
Matematicas
 

Conocimiento matemático: Razonamiento empírico y deductivo

  • 2. ¿Qué es el conocimiento matemático? ◦ Se mueve entre dos posiciones, por un lado, su naturaleza histórica y por otra, los objetos matemáticos actuales. ◦ Pudiera pensarse que el conocimiento matemático actual se ocupa de estructuras y sus propiedades, lo que implica poner el acento principal en cuestiones lógicas. ◦ Dichas estructuras pueden apreciarse por su belleza y abstracción, como ocurre con otros productos de la creatividad humana, pero también por el servicio que brindan a las demás ciencias, por sus posibilidades de aplicación.
  • 3. ¿Cómo se adquiere dicho conocimiento? ◦ Directa. Mediante la intuición, un conocimiento creativo y subjetivo: Razonamiento empírico. ◦ Reflexiva. Mediante la lógica, un conocimiento analítico y reflexivo: Razonamiento deductivo.
  • 4. Razonamiento empírico ◦ El razonamiento empírico puede describirse como la formulación de las conclusiones que se basan en la experiencia y en la observación. ◦ El razonamiento empírico contiene a menudo manipulaciones pesadas con casos especiales, observación de coincidencias y el empleo frecuente de la analogía, la experiencia a una buena suposición, la experimentación considerable y los destellos de intuición.* *Estudio de las Geometrías: Howard Eves
  • 5. Razonamiento deductivo  Platón filósofo griego en su obra La República describe la contraposición entre la realidad y el conocimiento e incluye pasajes en los que establece que la matemática (y todo razonamiento lógico) necesita apoyarse en presupuestos previos y en lo que llama el conocimiento discursivo descendente, de lo que se presupone a lo que se deduce.
  • 6. Naturaleza empírica  El cálculo inicia por determinar el área de la base: 4×4 = 16.  Se encuentra el área de la tapa: 2×2 = 4.  Después se computa el producto del lado de la base por el lado de la tapa: 4×2 = 8. Estos números se suman y se obtiene 28.  Ahora se toma un tercio de la altura, es decir, 2. Finalmente se toman el producto de un tercio de la altura y 28 y el escriba anota: Miren que da 56.
  • 7. Naturaleza deductiva La primera obra conocida de naturaleza deductiva son los Elementos de Euclides.
  • 8.  Para establecer la verdad de proposiciones.  Para comunicar verdades matemáticas.  Para construir técnicas para resolver cierto tipo de problemas.  Sistematización de resultados.  Descubrimiento
  • 9.  La intuición es un elemento importante al demostrar una proposición.  Formular conjeturas, elaborar generalizaciones, plantear hipótesis.  La intuición puede llevarnos a resultados poco confiables, por tanto, es imprescindible demostrar lo que la intuición nos proporciona.
  • 10. El razonamiento inductivo se basa en la elaboración de conjeturas e hipótesis que, a partir de un conjunto de observaciones, conducen a la generalización de propiedades. Probar una propiedad requiere de la deducción que la independiza de la experiencia y la torna universal.
  • 11.  El razonamiento deductivo. A partir de un sistema axiomático, se elaboran cadenas de argumentos que permiten establecer la validez de proposiciones matemáticas.  El principio básico consiste en determinar el valor de verdad de proposiciones del tipo “Si A entonces B”
  • 12. Antes de los griegos. ◦ Las matemáticas conocidas eran tratados sobre formulas y procedimientos que permitían resolver problemas, sin necesidad de una demostración.  La matemática griega. ◦ Es el primer ejemplo de sistematización de las matemáticas conocidas, así como del uso del razonamiento deductivo en las demostraciones matemáticas.
  • 13. Dada una proposición de la forma “ Si A entonces B”, llamamos a A hipótesis y a B conclusión. Así, la idea de demostrar una proposición del tipo anterior, consiste en suponer que A es verdadero, y al construir una cadena de argumentos, obtener que B es verdadero.
  • 14.  Una manera de hacerlo es pensar “de adelante para atrás”. Es decir, pensemos que B es verdadero y en las posibles formas equivalentes (en términos de verdad) de la proposición B, de forma que resulte más simple obtener la conclusión.  Otra manera es la de ir “de atrás para adelante”, suponiendo que A es verdadero, obtener proposiciones equivalentes a A encaminadas a probar que B es verdadero.
  • 15. Demostrar que: ◦ Si n es un entero par, entonces el cuadrado de n también es par. ◦ Si n es un entero para el cuál −n +2 2 3 n+8=0 entonces 22−n − n 3 =2
  • 16. Otro método para demostrar proposiciones matemáticas es utilizando la equivalencia lógica de la proposición “si A entonces B” con la de “si no B entonces no A”, conocido como contrapositiva, y aplicando los métodos anteriores. Demuestre que si c es un entero+−= 2 impar, entonces la n nc 0 solución de es impar.
  • 17. Otro método para demostrar proposiciones es el de “reducción al absurdo”. En este método se trata de suponer que A es verdadero y que no B también es verdadero, de donde se obtiene una contradicción. Demuestre que raíz cuadrada de 2 es un número no racional.
  • 18. El método de inducción matemática consiste en probar que una propiedad es verdadera para el conjunto de los números naturales, haciendo uso de lo siguiente: Si A es un subconjunto de los números naturales que cumple: 1) el 1 pertenece al conjunto A y 2) si k esta en A entonces k+1 también esta en A, entonces A es el conjunto de los números naturales.