SlideShare una empresa de Scribd logo
1 de 10
 Método directo de demostración
 Método de demostración por reducción al absurdo
 Método de demostración por contraposición
 Método de demostración por inducción matemática
Demostrar un teorema es un asunto central en la lógica y la matemática.
 Determinar hipótesis y tesis del teorema a demostrar.
 Realizar construcción geométrica a partir de la hipótesis y la tesis, incluir
construcciones auxiliares que demuestren el teorema.
 Realizar hipótesis con definiciones postuladas y teoremas demostrados,
establecer una sucesión lógica de preposiciones que permitan comprobar
la tesis este paso se presenta en 2 columnas.
 Escribir preposiciones verdaderas.
 Escribir la justificación y se afirma la tesis.
contra reciproca y la reducción al absurdo.
 Reducción al absurdo: para demostrar este teorema de la forma
“p entonces q”
 se asume verdadera la forma “no q” y se establece una
contradicción con lo cual se concluye “no q” debe ser falsa y en
consecuencia “q” debe ser verdadera.
 Contra recíproca: Es una preposición de la “forma p entonces q”
.
Ejemplo, si no tengo tenis no salgo, contra recíproca “no q
entonces no p”: si me pongo tenis entonces si salgo.
 Para demostrar un teorema utilizando la contra recíproca, se
establece como hipótesis la negación de la tesis y se concluye la
negación de la hipótesis. Es decir. Se muestra el teorema “no q
entonces no p”.
 Método de demostración por contraposición: se forma negando
ambos términos e invirtiendo la dirección de la deducción.
 La contraposición de la declaración "si p, entonces q" es "si no
es q, entonces no p." Una declaración y su contra positiva son
lógicamente equivalentes: si la afirmación es cierta, entonces su
contra positivo es cierto, y viceversa.
 En matemáticas, la demostración por contraposición es una regla
de consecuencia. Esta regla se concluye un fallo condicional a
partir de su contraposición.
 Conclusión "si p, entonces q" se extrae de la deducción simple
"si no q, entonces no p."
 Método de demostración por inducción matemática: Útil en
problemas en los que se trata de probar que todos los
números naturales (1, 2, 3...) cumplen una cierta propiedad.
 Consta de 2 pasos:
1. Demuestra que “1” cumple la propiedad.
2. Se supone que la propiedad es verdadera para un
cierto número n (arbitrario) y se demuestra para el
número siguiente, el n+1.
Supongamos q Pn a la proposición donde n es el rango
1. La Base: Muestra que p1 es cierta, seria el primer valor que
cumple con la preposición
.2. paso inductivo: Muestra que si Pn es cierto es una
hipótesis inductiva entonces pn+1 lo es también sin
condición sobre el numero entero natural n.
n→n+1.
 Se concluye que por inducción Pn es cierto para natural n.
Método de demostración en matemáticaspo

Más contenido relacionado

La actualidad más candente

Act. 1. metodos_de_demostracion_caracteristicas_ejemplos
Act. 1. metodos_de_demostracion_caracteristicas_ejemplosAct. 1. metodos_de_demostracion_caracteristicas_ejemplos
Act. 1. metodos_de_demostracion_caracteristicas_ejemplos_borbon
 
Calculo Proposicional.
Calculo Proposicional.Calculo Proposicional.
Calculo Proposicional.Daniel Vasquez
 
Inducción matemática
Inducción matemáticaInducción matemática
Inducción matemáticaRlibardo
 
Tautologias y Contradicciones
Tautologias y ContradiccionesTautologias y Contradicciones
Tautologias y Contradiccionesguestd1874f
 
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
 
Semana tres
Semana tres Semana tres
Semana tres RALY2006
 
Exposicion
ExposicionExposicion
Exposicionoeculmas
 
Leyes de algebra proposicional
Leyes de algebra proposicionalLeyes de algebra proposicional
Leyes de algebra proposicionalDanielaFonseca05
 
Logica hipotesis y conclusion
Logica hipotesis y conclusionLogica hipotesis y conclusion
Logica hipotesis y conclusionPerez Kyria
 
Conjeturas matemáticas
Conjeturas matemáticasConjeturas matemáticas
Conjeturas matemáticasDurero
 
Estructura
EstructuraEstructura
Estructurapregiver
 

La actualidad más candente (20)

Act. 1. metodos_de_demostracion_caracteristicas_ejemplos
Act. 1. metodos_de_demostracion_caracteristicas_ejemplosAct. 1. metodos_de_demostracion_caracteristicas_ejemplos
Act. 1. metodos_de_demostracion_caracteristicas_ejemplos
 
Unidad 1
Unidad 1Unidad 1
Unidad 1
 
Calculo Proposicional.
Calculo Proposicional.Calculo Proposicional.
Calculo Proposicional.
 
Proposiciones
ProposicionesProposiciones
Proposiciones
 
Metodo Demostrativo
Metodo DemostrativoMetodo Demostrativo
Metodo Demostrativo
 
CALCULO PROPOSICIONAL
CALCULO PROPOSICIONALCALCULO PROPOSICIONAL
CALCULO PROPOSICIONAL
 
Metodos de demostracion
Metodos de demostracionMetodos de demostracion
Metodos de demostracion
 
Inducción matemática
Inducción matemáticaInducción matemática
Inducción matemática
 
Tautologias y Contradicciones
Tautologias y ContradiccionesTautologias y Contradicciones
Tautologias y Contradicciones
 
Metodo de demostracion directa e indirecta
Metodo de demostracion directa e indirectaMetodo de demostracion directa e indirecta
Metodo de demostracion directa e indirecta
 
Semana tres
Semana tres Semana tres
Semana tres
 
Exposicion
ExposicionExposicion
Exposicion
 
Leyes de algebra proposicional
Leyes de algebra proposicionalLeyes de algebra proposicional
Leyes de algebra proposicional
 
Proposiciones lógicas luis serrano
Proposiciones lógicas luis serranoProposiciones lógicas luis serrano
Proposiciones lógicas luis serrano
 
Logica hipotesis y conclusion
Logica hipotesis y conclusionLogica hipotesis y conclusion
Logica hipotesis y conclusion
 
Conjeturas matemáticas
Conjeturas matemáticasConjeturas matemáticas
Conjeturas matemáticas
 
Proposiciones
ProposicionesProposiciones
Proposiciones
 
Estructura
EstructuraEstructura
Estructura
 
Lógica proposicional
Lógica proposicionalLógica proposicional
Lógica proposicional
 
Tautologías
TautologíasTautologías
Tautologías
 

Similar a Método de demostración en matemáticaspo

Log matematica deber ultimo
Log matematica deber ultimoLog matematica deber ultimo
Log matematica deber ultimoalex javier
 
Log matematica deber
Log matematica deberLog matematica deber
Log matematica deberbyyktormaf
 
Log matematica deber
Log matematica deberLog matematica deber
Log matematica deberbyyktormaf
 
Lógica y Cálculo Proposicional
Lógica y Cálculo ProposicionalLógica y Cálculo Proposicional
Lógica y Cálculo ProposicionalJuliho Castillo
 
Diapositivas estructura discreta
Diapositivas estructura discretaDiapositivas estructura discreta
Diapositivas estructura discretaGer Castillo
 
Diapositivas estructura discreta
Diapositivas estructura discretaDiapositivas estructura discreta
Diapositivas estructura discretaGer Castillo
 
Proposiciones valeska
Proposiciones valeskaProposiciones valeska
Proposiciones valeskavaleska6620
 
3ro numero complejos grupal
3ro numero complejos   grupal3ro numero complejos   grupal
3ro numero complejos grupalJeremyPolo1
 
Logica matematica
Logica matematicaLogica matematica
Logica matematica28100608
 
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
 
CÁLCULO PROPOSICIONAL- Luis gimenez
CÁLCULO PROPOSICIONAL-  Luis gimenezCÁLCULO PROPOSICIONAL-  Luis gimenez
CÁLCULO PROPOSICIONAL- Luis gimenezluisg08
 
Unidad i proposiciones
Unidad i proposicionesUnidad i proposiciones
Unidad i proposicionesJesus Montes
 
Logica matematica
Logica matematicaLogica matematica
Logica matematica08061028
 
Trabajo colaborativo-2-grupo-168
Trabajo colaborativo-2-grupo-168Trabajo colaborativo-2-grupo-168
Trabajo colaborativo-2-grupo-168Erica Avila Caicedo
 
Trabajo colaborativo-dos-grupo-203
Trabajo colaborativo-dos-grupo-203Trabajo colaborativo-dos-grupo-203
Trabajo colaborativo-dos-grupo-203Erica Avila Caicedo
 

Similar a Método de demostración en matemáticaspo (20)

Proposiciones
ProposicionesProposiciones
Proposiciones
 
Logica
LogicaLogica
Logica
 
Archivo slideshare
Archivo slideshareArchivo slideshare
Archivo slideshare
 
Log matematica deber
Log matematica deberLog matematica deber
Log matematica deber
 
Log matematica deber ultimo
Log matematica deber ultimoLog matematica deber ultimo
Log matematica deber ultimo
 
Log matematica deber
Log matematica deberLog matematica deber
Log matematica deber
 
Log matematica deber
Log matematica deberLog matematica deber
Log matematica deber
 
Lógica y Cálculo Proposicional
Lógica y Cálculo ProposicionalLógica y Cálculo Proposicional
Lógica y Cálculo Proposicional
 
Diapositivas estructura discreta
Diapositivas estructura discretaDiapositivas estructura discreta
Diapositivas estructura discreta
 
Diapositivas estructura discreta
Diapositivas estructura discretaDiapositivas estructura discreta
Diapositivas estructura discreta
 
Proposiciones valeska
Proposiciones valeskaProposiciones valeska
Proposiciones valeska
 
3ro numero complejos grupal
3ro numero complejos   grupal3ro numero complejos   grupal
3ro numero complejos grupal
 
Logica matematica
Logica matematicaLogica matematica
Logica matematica
 
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
 
CÁLCULO PROPOSICIONAL- Luis gimenez
CÁLCULO PROPOSICIONAL-  Luis gimenezCÁLCULO PROPOSICIONAL-  Luis gimenez
CÁLCULO PROPOSICIONAL- Luis gimenez
 
Unidad i proposiciones
Unidad i proposicionesUnidad i proposiciones
Unidad i proposiciones
 
Logica matematica
Logica matematicaLogica matematica
Logica matematica
 
Trabajo de lógica matemática
Trabajo de lógica matemáticaTrabajo de lógica matemática
Trabajo de lógica matemática
 
Trabajo colaborativo-2-grupo-168
Trabajo colaborativo-2-grupo-168Trabajo colaborativo-2-grupo-168
Trabajo colaborativo-2-grupo-168
 
Trabajo colaborativo-dos-grupo-203
Trabajo colaborativo-dos-grupo-203Trabajo colaborativo-dos-grupo-203
Trabajo colaborativo-dos-grupo-203
 

Último

Gestion de proyectos para el control y seguimiento
Gestion de proyectos para el control  y seguimientoGestion de proyectos para el control  y seguimiento
Gestion de proyectos para el control y seguimientoMaxanMonplesi
 
Quimica Raymond Chang 12va Edicion___pdf
Quimica Raymond Chang 12va Edicion___pdfQuimica Raymond Chang 12va Edicion___pdf
Quimica Raymond Chang 12va Edicion___pdfs7yl3dr4g0n01
 
DIAPOSITIVAS DE SEGURIDAD Y SALUD EN EL TRABAJO
DIAPOSITIVAS DE SEGURIDAD Y SALUD EN EL TRABAJODIAPOSITIVAS DE SEGURIDAD Y SALUD EN EL TRABAJO
DIAPOSITIVAS DE SEGURIDAD Y SALUD EN EL TRABAJOJimyAMoran
 
CALCULO DE ENGRANAJES RECTOS SB-2024.pptx
CALCULO DE ENGRANAJES RECTOS SB-2024.pptxCALCULO DE ENGRANAJES RECTOS SB-2024.pptx
CALCULO DE ENGRANAJES RECTOS SB-2024.pptxCarlosGabriel96
 
PERFORACIÓN Y VOLADURA EN MINERÍA APLICADO
PERFORACIÓN Y VOLADURA EN MINERÍA APLICADOPERFORACIÓN Y VOLADURA EN MINERÍA APLICADO
PERFORACIÓN Y VOLADURA EN MINERÍA APLICADOFritz Rebaza Latoche
 
INSUMOS QUIMICOS Y BIENES FISCALIZADOS POR LA SUNAT
INSUMOS QUIMICOS Y BIENES FISCALIZADOS POR LA SUNATINSUMOS QUIMICOS Y BIENES FISCALIZADOS POR LA SUNAT
INSUMOS QUIMICOS Y BIENES FISCALIZADOS POR LA SUNATevercoyla
 
Análisis_y_Diseño_de_Estructuras_con_SAP_2000,_5ta_Edición_ICG.pdf
Análisis_y_Diseño_de_Estructuras_con_SAP_2000,_5ta_Edición_ICG.pdfAnálisis_y_Diseño_de_Estructuras_con_SAP_2000,_5ta_Edición_ICG.pdf
Análisis_y_Diseño_de_Estructuras_con_SAP_2000,_5ta_Edición_ICG.pdfGabrielCayampiGutier
 
Propuesta para la creación de un Centro de Innovación para la Refundación ...
Propuesta para la creación de un Centro de Innovación para la Refundación ...Propuesta para la creación de un Centro de Innovación para la Refundación ...
Propuesta para la creación de un Centro de Innovación para la Refundación ...Dr. Edwin Hernandez
 
Desigualdades e inecuaciones-convertido.pdf
Desigualdades e inecuaciones-convertido.pdfDesigualdades e inecuaciones-convertido.pdf
Desigualdades e inecuaciones-convertido.pdfRonaldLozano11
 
COMPEDIOS ESTADISTICOS DE PERU EN EL 2023
COMPEDIOS ESTADISTICOS DE PERU EN EL 2023COMPEDIOS ESTADISTICOS DE PERU EN EL 2023
COMPEDIOS ESTADISTICOS DE PERU EN EL 2023RonaldoPaucarMontes
 
Presentacion de la ganaderia en la región
Presentacion de la ganaderia en la regiónPresentacion de la ganaderia en la región
Presentacion de la ganaderia en la regiónmaz12629
 
Elaboración de la estructura del ADN y ARN en papel.pdf
Elaboración de la estructura del ADN y ARN en papel.pdfElaboración de la estructura del ADN y ARN en papel.pdf
Elaboración de la estructura del ADN y ARN en papel.pdfKEVINYOICIAQUINOSORI
 
27311861-Cuencas-sedimentarias-en-Colombia.ppt
27311861-Cuencas-sedimentarias-en-Colombia.ppt27311861-Cuencas-sedimentarias-en-Colombia.ppt
27311861-Cuencas-sedimentarias-en-Colombia.pptjacnuevarisaralda22
 
Clasificación de Equipos e Instrumentos en Electricidad.docx
Clasificación de Equipos e Instrumentos en Electricidad.docxClasificación de Equipos e Instrumentos en Electricidad.docx
Clasificación de Equipos e Instrumentos en Electricidad.docxwilliam801689
 
Aportes a la Arquitectura de Le Corbusier y Mies Van der Rohe
Aportes a la Arquitectura de Le Corbusier y Mies Van der RoheAportes a la Arquitectura de Le Corbusier y Mies Van der Rohe
Aportes a la Arquitectura de Le Corbusier y Mies Van der RoheElisaLen4
 
ingenieria grafica para la carrera de ingeniera .pptx
ingenieria grafica para la carrera de ingeniera .pptxingenieria grafica para la carrera de ingeniera .pptx
ingenieria grafica para la carrera de ingeniera .pptxjhorbycoralsanchez
 
JM HIDROGENO VERDE- OXI-HIDROGENO en calderas - julio 17 del 2023.pdf
JM HIDROGENO VERDE- OXI-HIDROGENO en calderas - julio 17 del 2023.pdfJM HIDROGENO VERDE- OXI-HIDROGENO en calderas - julio 17 del 2023.pdf
JM HIDROGENO VERDE- OXI-HIDROGENO en calderas - julio 17 del 2023.pdfMiguelArango21
 
nomenclatura de equipo electrico en subestaciones
nomenclatura de equipo electrico en subestacionesnomenclatura de equipo electrico en subestaciones
nomenclatura de equipo electrico en subestacionesCarlosMeraz16
 
INTEGRALES TRIPLES CLASE TEORICA Y PRÁCTICA
INTEGRALES TRIPLES CLASE TEORICA Y PRÁCTICAINTEGRALES TRIPLES CLASE TEORICA Y PRÁCTICA
INTEGRALES TRIPLES CLASE TEORICA Y PRÁCTICAJOSLUISCALLATAENRIQU
 
01 MATERIALES AERONAUTICOS VARIOS clase 1.ppt
01 MATERIALES AERONAUTICOS VARIOS clase 1.ppt01 MATERIALES AERONAUTICOS VARIOS clase 1.ppt
01 MATERIALES AERONAUTICOS VARIOS clase 1.pptoscarvielma45
 

Último (20)

Gestion de proyectos para el control y seguimiento
Gestion de proyectos para el control  y seguimientoGestion de proyectos para el control  y seguimiento
Gestion de proyectos para el control y seguimiento
 
Quimica Raymond Chang 12va Edicion___pdf
Quimica Raymond Chang 12va Edicion___pdfQuimica Raymond Chang 12va Edicion___pdf
Quimica Raymond Chang 12va Edicion___pdf
 
DIAPOSITIVAS DE SEGURIDAD Y SALUD EN EL TRABAJO
DIAPOSITIVAS DE SEGURIDAD Y SALUD EN EL TRABAJODIAPOSITIVAS DE SEGURIDAD Y SALUD EN EL TRABAJO
DIAPOSITIVAS DE SEGURIDAD Y SALUD EN EL TRABAJO
 
CALCULO DE ENGRANAJES RECTOS SB-2024.pptx
CALCULO DE ENGRANAJES RECTOS SB-2024.pptxCALCULO DE ENGRANAJES RECTOS SB-2024.pptx
CALCULO DE ENGRANAJES RECTOS SB-2024.pptx
 
PERFORACIÓN Y VOLADURA EN MINERÍA APLICADO
PERFORACIÓN Y VOLADURA EN MINERÍA APLICADOPERFORACIÓN Y VOLADURA EN MINERÍA APLICADO
PERFORACIÓN Y VOLADURA EN MINERÍA APLICADO
 
INSUMOS QUIMICOS Y BIENES FISCALIZADOS POR LA SUNAT
INSUMOS QUIMICOS Y BIENES FISCALIZADOS POR LA SUNATINSUMOS QUIMICOS Y BIENES FISCALIZADOS POR LA SUNAT
INSUMOS QUIMICOS Y BIENES FISCALIZADOS POR LA SUNAT
 
Análisis_y_Diseño_de_Estructuras_con_SAP_2000,_5ta_Edición_ICG.pdf
Análisis_y_Diseño_de_Estructuras_con_SAP_2000,_5ta_Edición_ICG.pdfAnálisis_y_Diseño_de_Estructuras_con_SAP_2000,_5ta_Edición_ICG.pdf
Análisis_y_Diseño_de_Estructuras_con_SAP_2000,_5ta_Edición_ICG.pdf
 
Propuesta para la creación de un Centro de Innovación para la Refundación ...
Propuesta para la creación de un Centro de Innovación para la Refundación ...Propuesta para la creación de un Centro de Innovación para la Refundación ...
Propuesta para la creación de un Centro de Innovación para la Refundación ...
 
Desigualdades e inecuaciones-convertido.pdf
Desigualdades e inecuaciones-convertido.pdfDesigualdades e inecuaciones-convertido.pdf
Desigualdades e inecuaciones-convertido.pdf
 
COMPEDIOS ESTADISTICOS DE PERU EN EL 2023
COMPEDIOS ESTADISTICOS DE PERU EN EL 2023COMPEDIOS ESTADISTICOS DE PERU EN EL 2023
COMPEDIOS ESTADISTICOS DE PERU EN EL 2023
 
Presentacion de la ganaderia en la región
Presentacion de la ganaderia en la regiónPresentacion de la ganaderia en la región
Presentacion de la ganaderia en la región
 
Elaboración de la estructura del ADN y ARN en papel.pdf
Elaboración de la estructura del ADN y ARN en papel.pdfElaboración de la estructura del ADN y ARN en papel.pdf
Elaboración de la estructura del ADN y ARN en papel.pdf
 
27311861-Cuencas-sedimentarias-en-Colombia.ppt
27311861-Cuencas-sedimentarias-en-Colombia.ppt27311861-Cuencas-sedimentarias-en-Colombia.ppt
27311861-Cuencas-sedimentarias-en-Colombia.ppt
 
Clasificación de Equipos e Instrumentos en Electricidad.docx
Clasificación de Equipos e Instrumentos en Electricidad.docxClasificación de Equipos e Instrumentos en Electricidad.docx
Clasificación de Equipos e Instrumentos en Electricidad.docx
 
Aportes a la Arquitectura de Le Corbusier y Mies Van der Rohe
Aportes a la Arquitectura de Le Corbusier y Mies Van der RoheAportes a la Arquitectura de Le Corbusier y Mies Van der Rohe
Aportes a la Arquitectura de Le Corbusier y Mies Van der Rohe
 
ingenieria grafica para la carrera de ingeniera .pptx
ingenieria grafica para la carrera de ingeniera .pptxingenieria grafica para la carrera de ingeniera .pptx
ingenieria grafica para la carrera de ingeniera .pptx
 
JM HIDROGENO VERDE- OXI-HIDROGENO en calderas - julio 17 del 2023.pdf
JM HIDROGENO VERDE- OXI-HIDROGENO en calderas - julio 17 del 2023.pdfJM HIDROGENO VERDE- OXI-HIDROGENO en calderas - julio 17 del 2023.pdf
JM HIDROGENO VERDE- OXI-HIDROGENO en calderas - julio 17 del 2023.pdf
 
nomenclatura de equipo electrico en subestaciones
nomenclatura de equipo electrico en subestacionesnomenclatura de equipo electrico en subestaciones
nomenclatura de equipo electrico en subestaciones
 
INTEGRALES TRIPLES CLASE TEORICA Y PRÁCTICA
INTEGRALES TRIPLES CLASE TEORICA Y PRÁCTICAINTEGRALES TRIPLES CLASE TEORICA Y PRÁCTICA
INTEGRALES TRIPLES CLASE TEORICA Y PRÁCTICA
 
01 MATERIALES AERONAUTICOS VARIOS clase 1.ppt
01 MATERIALES AERONAUTICOS VARIOS clase 1.ppt01 MATERIALES AERONAUTICOS VARIOS clase 1.ppt
01 MATERIALES AERONAUTICOS VARIOS clase 1.ppt
 

Método de demostración en matemáticaspo

  • 1.
  • 2.  Método directo de demostración  Método de demostración por reducción al absurdo  Método de demostración por contraposición  Método de demostración por inducción matemática
  • 3. Demostrar un teorema es un asunto central en la lógica y la matemática.
  • 4.  Determinar hipótesis y tesis del teorema a demostrar.  Realizar construcción geométrica a partir de la hipótesis y la tesis, incluir construcciones auxiliares que demuestren el teorema.  Realizar hipótesis con definiciones postuladas y teoremas demostrados, establecer una sucesión lógica de preposiciones que permitan comprobar la tesis este paso se presenta en 2 columnas.  Escribir preposiciones verdaderas.  Escribir la justificación y se afirma la tesis.
  • 5. contra reciproca y la reducción al absurdo.  Reducción al absurdo: para demostrar este teorema de la forma “p entonces q”  se asume verdadera la forma “no q” y se establece una contradicción con lo cual se concluye “no q” debe ser falsa y en consecuencia “q” debe ser verdadera.
  • 6.  Contra recíproca: Es una preposición de la “forma p entonces q” . Ejemplo, si no tengo tenis no salgo, contra recíproca “no q entonces no p”: si me pongo tenis entonces si salgo.  Para demostrar un teorema utilizando la contra recíproca, se establece como hipótesis la negación de la tesis y se concluye la negación de la hipótesis. Es decir. Se muestra el teorema “no q entonces no p”.
  • 7.  Método de demostración por contraposición: se forma negando ambos términos e invirtiendo la dirección de la deducción.  La contraposición de la declaración "si p, entonces q" es "si no es q, entonces no p." Una declaración y su contra positiva son lógicamente equivalentes: si la afirmación es cierta, entonces su contra positivo es cierto, y viceversa.  En matemáticas, la demostración por contraposición es una regla de consecuencia. Esta regla se concluye un fallo condicional a partir de su contraposición.  Conclusión "si p, entonces q" se extrae de la deducción simple "si no q, entonces no p."
  • 8.  Método de demostración por inducción matemática: Útil en problemas en los que se trata de probar que todos los números naturales (1, 2, 3...) cumplen una cierta propiedad.  Consta de 2 pasos: 1. Demuestra que “1” cumple la propiedad. 2. Se supone que la propiedad es verdadera para un cierto número n (arbitrario) y se demuestra para el número siguiente, el n+1.
  • 9. Supongamos q Pn a la proposición donde n es el rango 1. La Base: Muestra que p1 es cierta, seria el primer valor que cumple con la preposición .2. paso inductivo: Muestra que si Pn es cierto es una hipótesis inductiva entonces pn+1 lo es también sin condición sobre el numero entero natural n. n→n+1.  Se concluye que por inducción Pn es cierto para natural n.