SlideShare una empresa de Scribd logo
1 de 14
COLEGIO DE BACHILLERATO
“CARMEN MORA DE ENCALADA”
NÚMEROS COMPLEJOS
INTEGRANTES:
NAULA LEONELA, MONTALVO YAMILETH, VERGARA RONIL
DOCENTE:
LIC. LADY QUIZHPE
CURSO:
TERCERO DE BACHILLERATO CIENCIAS “F”
PERIODO LECTIVO
2019 – 2020
DEFINICIÓN DE:
Axioma
Lema
Corolario
Hipotesis
Tesis
Teorema
AXIOMA
En lógica y matemáticas, un axioma es una premisa que, por
considerarse evidente, se acepta sin demostración, como punto de
partida para demostrar otras formulas. Se eligen de las consideradas
“afirmaciones evidentes”, porque permite deducir las demás formulas.
LEMA
En matemáticas, un lema es una proposición demostrada, utilizada
para establecer un teorema menor o una premisa auxiliar que forma
parte de un teorema más general que significa cualquier cosa que es
recibida, tal como un regalo, una dádiva o un soborno.
COROLARIO
• Es un concepto referido a una proposición tanto en matemática como
en lógica que se utiliza para designar la consistencia de un teorema ya
demostrado, sin necesidad de invertir esfuerzo adicional en su
demostración. En pocas palabras, es una consecuencia obvia que no
necesita demostración.
HIPOTESIS
• En lógica matemática una hipótesis es una fórmula de la que se parte
para alcanzar finalmente otra fórmula mediante deducciones válidas.
Es decir, las hipótesis son el conjunto de afirmaciones adicionales que
son añadidas al conjunto de axiomas.
TESIS
• Es el inicio de un texto argumentativo, una afirmación cuya veracidad
ha sido argumentada, demostrada o justificada de alguna manera.
Generalmente enuncia una proposición científica, un axioma o un
hecho demostrable.
TEOREMA
• En matemática, un teorema es una proposición teórica, enunciado o
fórmula que incorpora una verdad, axioma o postulado que
es comprobada por otros conjuntos de teorías o fórmulas. Un
teorema también es una regla o ley que se expresa en forma de
ecuaciones y / o fórmulas matemáticas.
REGLAS DE INFERENCIA LÓGICA
• En lógica, una regla de inferencia es una forma lógica que consiste en una
función que toma premisas, analiza su sintaxis, y devuelve una conclusión, la
regla de inferencia llamada Modus ponend ponens toma dos premisas, uno en la
forma "Si p entonces q" y otra en la forma "p", y vuelve la conclusión "q".
p q r 𝒑 → ~ 𝒒 Λ 𝒓 → ~ 𝒒 Λ ~ 𝒑 → 𝒒
V V V V F F F V F F F F V V
V V F V F F F F V F F F V V
V F V V V V V V V V F F V F
V F F V V V V F V V F F V F
F V V F V F F V F F F V V V
F V F F V F V F V F V V V V
F F V F V V V V V V V V F F
F F F F V V V F V V V V F F
𝒑 → ~ 𝒒 Λ 𝒓 → ~ 𝒒 Λ ~ 𝒑 → 𝒒
EJEMPLO
MÉTODOS DE DEMOSTRACIÓN
MATEMÁTICA
Son argumentos deductivos para asegurar la verdad de
una proposición matemática. Las demostraciones son
ejemplos de razonamiento deductivo y se distinguen de
argumentos inductivos o empíricos; una demostración
debe demostrar que una afirmación es siempre verdadera
ocasionalmente al listar todos los casos posibles y mostrar
que es válida en cada uno, más que enumerar muchos
casos confirmatorios. Una afirmación no probada que se
cree verdadera se conoce como conjetura. En principio
una demostración se puede rastrear hasta afirmaciones
generalmente aceptadas, conocidas como axiomas.
Demostración por
Principio de inducción
matemática
Demostración directa
Demostración por Principio de inducción
matemática
En matemáticas, la inducción es un razonamiento que
permite demostrar proposiciones que dependen de una variable que toma
una infinidad de valores enteros. En términos simples, la inducción
matemática consiste en el siguiente razonamiento:
Dado un número entero a que tiene la propiedad P, y el hecho de que si
hasta cualquier número entero n con la propiedad P implique que n+1
también la tiene, entonces, todos los números enteros a partir de a tienen
la propiedad P.
La demostración está basada en el axioma denominado principio de la
inducción matemática
5 + 7 + 9 + ⋯ . +(2𝑛 + 3) = 𝑛2 + 4𝑛
PASO #1:
𝑛 = 1 2 × 1 + 3 = (1)2+4 × 1
5 = 1 + 4
5 = 5
PASO #2:
S𝑒 𝑎𝑐𝑒𝑝𝑡𝑎: 𝑛 = 𝑘 5 + 7 + 9 + ⋯ . +(2𝑘 + 3) = 𝑘2 + 4𝑘
P𝒓𝒐𝒃𝒂𝒓: 𝑛 = 𝑘 + 1
5 + 7 + 9 + ⋯ . + 2𝑘 + 3 + (2(𝑘 + 1) + 3 = 𝑘 + 1 2 + 4(𝑘 + 1)
𝑘2 + 4𝑘 + (2𝑘 + 2 + 3) = 𝑘2 + 2𝑘 + 1 + 4𝑘 + 4
𝑘2
+ 4𝑘 + 2𝑘 + 2 + 3 = 𝑘2
+ 2𝑘 + 4𝑘 + 1 + 4
𝑘2 + 6𝑘 + 5 = 𝑘2 + 6𝑘 + 5
EJEMPLOS:
Demostración directa
Se plantea una proposición, en la forma si p, entonces q,
donde p se denomina hipótesis (condición suficiente) y q se
llama tesis o conclusión (condición necesaria). Por ejemplo,
si llueve, la pista está mojada; esto es que una condición
suficiente para que se moje la pista, es que llueva. Y si
llueve, necesariamente se moja la pista. En el contexto
matemático, de la verdad de la hipótesis se llega a la verdad
de la conclusión, usando proposiciones cuya certeza se
conoce previamente.
En la demostración directa, la conclusión se establece al
combinar lógicamente los axiomas, definiciones, y teoremas
previos. Por ejemplo, la demostración directa puede ser
usada para establecer que la suma de dos enteros pares es
siempre par:
1. S𝒊 𝒂 𝒆𝒔 𝒊𝒎𝒑𝒂𝒓 𝒆𝒏𝒕𝒐𝒏𝒄𝒆𝒔 𝒂 𝟐 𝒆𝒔 𝒊𝒎𝒑𝒂𝒓
𝑎 = 2𝑛 + 1 → 𝑎2
= (2𝑛 + 1)2
= 4𝑛2
+ 4𝑛 + 1
= 4𝑘 + 1
= 2(2𝑘) + 1
= 2 < +1
2. S𝒊 𝒂 𝒚 𝒃 𝒔𝒐𝒏 𝒏𝒖𝒎𝒆𝒓𝒐𝒔 𝒑𝒂𝒓𝒆𝒔 𝒆𝒏𝒕𝒐𝒏𝒄𝒆𝒔 𝒂 + 𝒃 𝒆𝒔 𝒑𝒂𝒓
𝑎 = 2𝑛 𝑦 𝑏 = 2𝑚 → 𝑎 + 𝑏 = 2𝑛 + 2𝑚
= 2(𝑛 + 𝑚)
= 2𝑘
EJEMPLOS:
= 4(𝑛2
+𝑛) + 1
𝑝 Λ 𝑝 → 𝑞 → 𝑞
Ejemplo de Demostración por Principio de inducción
matemática
VIDEO EN YOUTUBE
FOTOGRAFÍAGRUPAL

Más contenido relacionado

La actualidad más candente

Solución de ecuaciones diferenciales (1)
Solución de ecuaciones diferenciales (1)Solución de ecuaciones diferenciales (1)
Solución de ecuaciones diferenciales (1)Johana Martinez
 
Conectivos logicos
Conectivos logicosConectivos logicos
Conectivos logicosEdward Solis
 
Función inyectiva – sobreyectiva biyectiva
Función inyectiva – sobreyectiva   biyectivaFunción inyectiva – sobreyectiva   biyectiva
Función inyectiva – sobreyectiva biyectivaMagiserio
 
Teorema del residuo
Teorema del residuoTeorema del residuo
Teorema del residuoimanolrd
 
Historia del Teorema Fundamental del Cálculo
Historia del Teorema Fundamental del CálculoHistoria del Teorema Fundamental del Cálculo
Historia del Teorema Fundamental del CálculoJuancarlos Ponce
 
Método de integración por Partes
Método de integración por PartesMétodo de integración por Partes
Método de integración por PartesVanee Rivas
 
Historia y algunos conceptos de Probabilidad y Estadística
Historia y algunos conceptos de Probabilidad y EstadísticaHistoria y algunos conceptos de Probabilidad y Estadística
Historia y algunos conceptos de Probabilidad y EstadísticaJoan Fernando Chipia Lobo
 
Cuantificador existencial
Cuantificador existencialCuantificador existencial
Cuantificador existencialemperador09
 
Conjuntos demostraciones
Conjuntos demostracionesConjuntos demostraciones
Conjuntos demostracionesRafa Cruz
 
Lógica y conjuntos proposiciones y cuantificadores
Lógica y conjuntos proposiciones y cuantificadoresLógica y conjuntos proposiciones y cuantificadores
Lógica y conjuntos proposiciones y cuantificadoresjazzme
 
LÍMITE DE FUNCIONES DE DOS VARIABLES
LÍMITE DE FUNCIONES DE DOS VARIABLESLÍMITE DE FUNCIONES DE DOS VARIABLES
LÍMITE DE FUNCIONES DE DOS VARIABLESclaualemana
 
Leyes del algebra proposicional
Leyes del algebra proposicionalLeyes del algebra proposicional
Leyes del algebra proposicionalandres gonzalez
 

La actualidad más candente (20)

Formas Proposicionales
Formas ProposicionalesFormas Proposicionales
Formas Proposicionales
 
Solución de ecuaciones diferenciales (1)
Solución de ecuaciones diferenciales (1)Solución de ecuaciones diferenciales (1)
Solución de ecuaciones diferenciales (1)
 
Ley de Conjuntos- Presentacion
Ley de Conjuntos- PresentacionLey de Conjuntos- Presentacion
Ley de Conjuntos- Presentacion
 
Ecuaciones Parametricas
Ecuaciones ParametricasEcuaciones Parametricas
Ecuaciones Parametricas
 
Conectivos logicos
Conectivos logicosConectivos logicos
Conectivos logicos
 
Función inyectiva – sobreyectiva biyectiva
Función inyectiva – sobreyectiva   biyectivaFunción inyectiva – sobreyectiva   biyectiva
Función inyectiva – sobreyectiva biyectiva
 
Teorema del residuo
Teorema del residuoTeorema del residuo
Teorema del residuo
 
Historia del Teorema Fundamental del Cálculo
Historia del Teorema Fundamental del CálculoHistoria del Teorema Fundamental del Cálculo
Historia del Teorema Fundamental del Cálculo
 
Método de integración por Partes
Método de integración por PartesMétodo de integración por Partes
Método de integración por Partes
 
Historia y algunos conceptos de Probabilidad y Estadística
Historia y algunos conceptos de Probabilidad y EstadísticaHistoria y algunos conceptos de Probabilidad y Estadística
Historia y algunos conceptos de Probabilidad y Estadística
 
Axiomas de peano
Axiomas de peanoAxiomas de peano
Axiomas de peano
 
Funciones Reales
Funciones RealesFunciones Reales
Funciones Reales
 
Tecnicas de conteo
Tecnicas de conteoTecnicas de conteo
Tecnicas de conteo
 
Taller2 Logica Proposicional
Taller2 Logica ProposicionalTaller2 Logica Proposicional
Taller2 Logica Proposicional
 
Cuantificador existencial
Cuantificador existencialCuantificador existencial
Cuantificador existencial
 
Conjuntos demostraciones
Conjuntos demostracionesConjuntos demostraciones
Conjuntos demostraciones
 
Lógica y conjuntos proposiciones y cuantificadores
Lógica y conjuntos proposiciones y cuantificadoresLógica y conjuntos proposiciones y cuantificadores
Lógica y conjuntos proposiciones y cuantificadores
 
LÍMITE DE FUNCIONES DE DOS VARIABLES
LÍMITE DE FUNCIONES DE DOS VARIABLESLÍMITE DE FUNCIONES DE DOS VARIABLES
LÍMITE DE FUNCIONES DE DOS VARIABLES
 
Leyes del algebra proposicional
Leyes del algebra proposicionalLeyes del algebra proposicional
Leyes del algebra proposicional
 
Analisis gráfico de las funciones
Analisis gráfico de las funcionesAnalisis gráfico de las funciones
Analisis gráfico de las funciones
 

Similar a métodos de demostración matemática

métodos de demostración matemática
métodos de demostración matemáticamétodos de demostración matemática
métodos de demostración matemáticaLeoNaula1
 
Proposiciones
ProposicionesProposiciones
Proposicionesluisv9616
 
Logicamatematica herney guzman
Logicamatematica herney guzmanLogicamatematica herney guzman
Logicamatematica herney guzmanHerneyGuzman
 
Metodos de demostracion
Metodos de demostracionMetodos de demostracion
Metodos de demostracionpuce-si
 
Métodos de Demostración en Matemática
Métodos de Demostración en MatemáticaMétodos de Demostración en Matemática
Métodos de Demostración en MatemáticaWilbert Tapia
 
Logicamatematica paula alejandra
Logicamatematica paula alejandraLogicamatematica paula alejandra
Logicamatematica paula alejandrapaula0610
 
Herney guzman logica matematica
Herney guzman logica matematicaHerney guzman logica matematica
Herney guzman logica matematicaHerneyGuzman
 
Logica matematica
Logica matematicaLogica matematica
Logica matematica08061028
 
metodos de demostracion
metodos de demostracionmetodos de demostracion
metodos de demostracionCristopher
 
CALCULO PROPOSICIONAL
CALCULO PROPOSICIONAL CALCULO PROPOSICIONAL
CALCULO PROPOSICIONAL Kathy Mishell
 
Logica matematica
Logica matematicaLogica matematica
Logica matematica28100608
 
Log matematica deber
Log matematica deberLog matematica deber
Log matematica deberbyyktormaf
 
Log matematica deber
Log matematica deberLog matematica deber
Log matematica deberbyyktormaf
 
Trabajo de logica matematica
Trabajo de logica matematicaTrabajo de logica matematica
Trabajo de logica matematicaMaria_Olave
 
Trabajo de logica matematica modalidad.
Trabajo de logica matematica modalidad.Trabajo de logica matematica modalidad.
Trabajo de logica matematica modalidad.olave_julian
 

Similar a métodos de demostración matemática (20)

métodos de demostración matemática
métodos de demostración matemáticamétodos de demostración matemática
métodos de demostración matemática
 
Proposiciones
ProposicionesProposiciones
Proposiciones
 
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
 
Metodos de demostracion
Metodos de demostracionMetodos de demostracion
Metodos de demostracion
 
inferencias lógicas
inferencias lógicas  inferencias lógicas
inferencias lógicas
 
Metodos de demostracion
Metodos de demostracionMetodos de demostracion
Metodos de demostracion
 
Métodos de Demostración en Matemática
Métodos de Demostración en MatemáticaMétodos de Demostración en Matemática
Métodos de Demostración en Matemática
 
Logicamatematica paula alejandra
Logicamatematica paula alejandraLogicamatematica paula alejandra
Logicamatematica paula alejandra
 
Herney guzman logica matematica
Herney guzman logica matematicaHerney guzman logica matematica
Herney guzman logica matematica
 
Logica matematica
Logica matematicaLogica matematica
Logica matematica
 
metodos de demostracion
metodos de demostracionmetodos de demostracion
metodos de demostracion
 
CALCULO PROPOSICIONAL
CALCULO PROPOSICIONAL CALCULO PROPOSICIONAL
CALCULO PROPOSICIONAL
 
Deber 19 oct 2010
Deber 19 oct 2010Deber 19 oct 2010
Deber 19 oct 2010
 
Logica matematica
Logica matematicaLogica matematica
Logica matematica
 
Log matematica deber
Log matematica deberLog matematica deber
Log matematica deber
 
Log matematica deber
Log matematica deberLog matematica deber
Log matematica deber
 
Trabajo de logica matematica
Trabajo de logica matematicaTrabajo de logica matematica
Trabajo de logica matematica
 
Trabajo de logica matematica modalidad.
Trabajo de logica matematica modalidad.Trabajo de logica matematica modalidad.
Trabajo de logica matematica modalidad.
 

Último

Día de la Madre Tierra-1.pdf día mundial
Día de la Madre Tierra-1.pdf día mundialDía de la Madre Tierra-1.pdf día mundial
Día de la Madre Tierra-1.pdf día mundialpatriciaines1993
 
c3.hu3.p1.p2.El ser humano y el sentido de su existencia.pptx
c3.hu3.p1.p2.El ser humano y el sentido de su existencia.pptxc3.hu3.p1.p2.El ser humano y el sentido de su existencia.pptx
c3.hu3.p1.p2.El ser humano y el sentido de su existencia.pptxMartín Ramírez
 
periodico mural y sus partes y caracteristicas
periodico mural y sus partes y caracteristicasperiodico mural y sus partes y caracteristicas
periodico mural y sus partes y caracteristicas123yudy
 
SINTAXIS DE LA ORACIÓN SIMPLE 2023-2024.pptx
SINTAXIS DE LA ORACIÓN SIMPLE 2023-2024.pptxSINTAXIS DE LA ORACIÓN SIMPLE 2023-2024.pptx
SINTAXIS DE LA ORACIÓN SIMPLE 2023-2024.pptxlclcarmen
 
PPT GESTIÓN ESCOLAR 2024 Comités y Compromisos.pptx
PPT GESTIÓN ESCOLAR 2024 Comités y Compromisos.pptxPPT GESTIÓN ESCOLAR 2024 Comités y Compromisos.pptx
PPT GESTIÓN ESCOLAR 2024 Comités y Compromisos.pptxOscarEduardoSanchezC
 
Tarea 5_ Foro _Selección de herramientas digitales_Manuel.pdf
Tarea 5_ Foro _Selección de herramientas digitales_Manuel.pdfTarea 5_ Foro _Selección de herramientas digitales_Manuel.pdf
Tarea 5_ Foro _Selección de herramientas digitales_Manuel.pdfManuel Molina
 
BIOLOGIA_banco de preguntas_editorial icfes examen de estado .pdf
BIOLOGIA_banco de preguntas_editorial icfes examen de estado .pdfBIOLOGIA_banco de preguntas_editorial icfes examen de estado .pdf
BIOLOGIA_banco de preguntas_editorial icfes examen de estado .pdfCESARMALAGA4
 
TEST DE RAVEN es un test conocido para la personalidad.pdf
TEST DE RAVEN es un test conocido para la personalidad.pdfTEST DE RAVEN es un test conocido para la personalidad.pdf
TEST DE RAVEN es un test conocido para la personalidad.pdfDannyTola1
 
La Función tecnológica del tutor.pptx
La  Función  tecnológica  del tutor.pptxLa  Función  tecnológica  del tutor.pptx
La Función tecnológica del tutor.pptxJunkotantik
 
Metabolismo 3: Anabolismo y Fotosíntesis 2024
Metabolismo 3: Anabolismo y Fotosíntesis 2024Metabolismo 3: Anabolismo y Fotosíntesis 2024
Metabolismo 3: Anabolismo y Fotosíntesis 2024IES Vicent Andres Estelles
 
TUTORIA II - CIRCULO DORADO UNIVERSIDAD CESAR VALLEJO
TUTORIA II - CIRCULO DORADO UNIVERSIDAD CESAR VALLEJOTUTORIA II - CIRCULO DORADO UNIVERSIDAD CESAR VALLEJO
TUTORIA II - CIRCULO DORADO UNIVERSIDAD CESAR VALLEJOweislaco
 
Uses of simple past and time expressions
Uses of simple past and time expressionsUses of simple past and time expressions
Uses of simple past and time expressionsConsueloSantana3
 
Estas son las escuelas y colegios que tendrán modalidad no presencial este lu...
Estas son las escuelas y colegios que tendrán modalidad no presencial este lu...Estas son las escuelas y colegios que tendrán modalidad no presencial este lu...
Estas son las escuelas y colegios que tendrán modalidad no presencial este lu...fcastellanos3
 
Unidad II Doctrina de la Iglesia 1 parte
Unidad II Doctrina de la Iglesia 1 parteUnidad II Doctrina de la Iglesia 1 parte
Unidad II Doctrina de la Iglesia 1 parteJuan Hernandez
 
Plan Año Escolar Año Escolar 2023-2024. MPPE
Plan Año Escolar Año Escolar 2023-2024. MPPEPlan Año Escolar Año Escolar 2023-2024. MPPE
Plan Año Escolar Año Escolar 2023-2024. MPPELaura Chacón
 

Último (20)

Earth Day Everyday 2024 54th anniversary
Earth Day Everyday 2024 54th anniversaryEarth Day Everyday 2024 54th anniversary
Earth Day Everyday 2024 54th anniversary
 
Día de la Madre Tierra-1.pdf día mundial
Día de la Madre Tierra-1.pdf día mundialDía de la Madre Tierra-1.pdf día mundial
Día de la Madre Tierra-1.pdf día mundial
 
Repaso Pruebas CRECE PR 2024. Ciencia General
Repaso Pruebas CRECE PR 2024. Ciencia GeneralRepaso Pruebas CRECE PR 2024. Ciencia General
Repaso Pruebas CRECE PR 2024. Ciencia General
 
c3.hu3.p1.p2.El ser humano y el sentido de su existencia.pptx
c3.hu3.p1.p2.El ser humano y el sentido de su existencia.pptxc3.hu3.p1.p2.El ser humano y el sentido de su existencia.pptx
c3.hu3.p1.p2.El ser humano y el sentido de su existencia.pptx
 
periodico mural y sus partes y caracteristicas
periodico mural y sus partes y caracteristicasperiodico mural y sus partes y caracteristicas
periodico mural y sus partes y caracteristicas
 
SINTAXIS DE LA ORACIÓN SIMPLE 2023-2024.pptx
SINTAXIS DE LA ORACIÓN SIMPLE 2023-2024.pptxSINTAXIS DE LA ORACIÓN SIMPLE 2023-2024.pptx
SINTAXIS DE LA ORACIÓN SIMPLE 2023-2024.pptx
 
PPT GESTIÓN ESCOLAR 2024 Comités y Compromisos.pptx
PPT GESTIÓN ESCOLAR 2024 Comités y Compromisos.pptxPPT GESTIÓN ESCOLAR 2024 Comités y Compromisos.pptx
PPT GESTIÓN ESCOLAR 2024 Comités y Compromisos.pptx
 
Tarea 5_ Foro _Selección de herramientas digitales_Manuel.pdf
Tarea 5_ Foro _Selección de herramientas digitales_Manuel.pdfTarea 5_ Foro _Selección de herramientas digitales_Manuel.pdf
Tarea 5_ Foro _Selección de herramientas digitales_Manuel.pdf
 
Sesión de clase: Defendamos la verdad.pdf
Sesión de clase: Defendamos la verdad.pdfSesión de clase: Defendamos la verdad.pdf
Sesión de clase: Defendamos la verdad.pdf
 
BIOLOGIA_banco de preguntas_editorial icfes examen de estado .pdf
BIOLOGIA_banco de preguntas_editorial icfes examen de estado .pdfBIOLOGIA_banco de preguntas_editorial icfes examen de estado .pdf
BIOLOGIA_banco de preguntas_editorial icfes examen de estado .pdf
 
Unidad 3 | Teorías de la Comunicación | MCDI
Unidad 3 | Teorías de la Comunicación | MCDIUnidad 3 | Teorías de la Comunicación | MCDI
Unidad 3 | Teorías de la Comunicación | MCDI
 
PPTX: La luz brilla en la oscuridad.pptx
PPTX: La luz brilla en la oscuridad.pptxPPTX: La luz brilla en la oscuridad.pptx
PPTX: La luz brilla en la oscuridad.pptx
 
TEST DE RAVEN es un test conocido para la personalidad.pdf
TEST DE RAVEN es un test conocido para la personalidad.pdfTEST DE RAVEN es un test conocido para la personalidad.pdf
TEST DE RAVEN es un test conocido para la personalidad.pdf
 
La Función tecnológica del tutor.pptx
La  Función  tecnológica  del tutor.pptxLa  Función  tecnológica  del tutor.pptx
La Función tecnológica del tutor.pptx
 
Metabolismo 3: Anabolismo y Fotosíntesis 2024
Metabolismo 3: Anabolismo y Fotosíntesis 2024Metabolismo 3: Anabolismo y Fotosíntesis 2024
Metabolismo 3: Anabolismo y Fotosíntesis 2024
 
TUTORIA II - CIRCULO DORADO UNIVERSIDAD CESAR VALLEJO
TUTORIA II - CIRCULO DORADO UNIVERSIDAD CESAR VALLEJOTUTORIA II - CIRCULO DORADO UNIVERSIDAD CESAR VALLEJO
TUTORIA II - CIRCULO DORADO UNIVERSIDAD CESAR VALLEJO
 
Uses of simple past and time expressions
Uses of simple past and time expressionsUses of simple past and time expressions
Uses of simple past and time expressions
 
Estas son las escuelas y colegios que tendrán modalidad no presencial este lu...
Estas son las escuelas y colegios que tendrán modalidad no presencial este lu...Estas son las escuelas y colegios que tendrán modalidad no presencial este lu...
Estas son las escuelas y colegios que tendrán modalidad no presencial este lu...
 
Unidad II Doctrina de la Iglesia 1 parte
Unidad II Doctrina de la Iglesia 1 parteUnidad II Doctrina de la Iglesia 1 parte
Unidad II Doctrina de la Iglesia 1 parte
 
Plan Año Escolar Año Escolar 2023-2024. MPPE
Plan Año Escolar Año Escolar 2023-2024. MPPEPlan Año Escolar Año Escolar 2023-2024. MPPE
Plan Año Escolar Año Escolar 2023-2024. MPPE
 

métodos de demostración matemática

  • 1. COLEGIO DE BACHILLERATO “CARMEN MORA DE ENCALADA” NÚMEROS COMPLEJOS INTEGRANTES: NAULA LEONELA, MONTALVO YAMILETH, VERGARA RONIL DOCENTE: LIC. LADY QUIZHPE CURSO: TERCERO DE BACHILLERATO CIENCIAS “F” PERIODO LECTIVO 2019 – 2020
  • 3. AXIOMA En lógica y matemáticas, un axioma es una premisa que, por considerarse evidente, se acepta sin demostración, como punto de partida para demostrar otras formulas. Se eligen de las consideradas “afirmaciones evidentes”, porque permite deducir las demás formulas.
  • 4. LEMA En matemáticas, un lema es una proposición demostrada, utilizada para establecer un teorema menor o una premisa auxiliar que forma parte de un teorema más general que significa cualquier cosa que es recibida, tal como un regalo, una dádiva o un soborno.
  • 5. COROLARIO • Es un concepto referido a una proposición tanto en matemática como en lógica que se utiliza para designar la consistencia de un teorema ya demostrado, sin necesidad de invertir esfuerzo adicional en su demostración. En pocas palabras, es una consecuencia obvia que no necesita demostración.
  • 6. HIPOTESIS • En lógica matemática una hipótesis es una fórmula de la que se parte para alcanzar finalmente otra fórmula mediante deducciones válidas. Es decir, las hipótesis son el conjunto de afirmaciones adicionales que son añadidas al conjunto de axiomas.
  • 7. TESIS • Es el inicio de un texto argumentativo, una afirmación cuya veracidad ha sido argumentada, demostrada o justificada de alguna manera. Generalmente enuncia una proposición científica, un axioma o un hecho demostrable.
  • 8. TEOREMA • En matemática, un teorema es una proposición teórica, enunciado o fórmula que incorpora una verdad, axioma o postulado que es comprobada por otros conjuntos de teorías o fórmulas. Un teorema también es una regla o ley que se expresa en forma de ecuaciones y / o fórmulas matemáticas.
  • 9. REGLAS DE INFERENCIA LÓGICA • En lógica, una regla de inferencia es una forma lógica que consiste en una función que toma premisas, analiza su sintaxis, y devuelve una conclusión, la regla de inferencia llamada Modus ponend ponens toma dos premisas, uno en la forma "Si p entonces q" y otra en la forma "p", y vuelve la conclusión "q". p q r 𝒑 → ~ 𝒒 Λ 𝒓 → ~ 𝒒 Λ ~ 𝒑 → 𝒒 V V V V F F F V F F F F V V V V F V F F F F V F F F V V V F V V V V V V V V F F V F V F F V V V V F V V F F V F F V V F V F F V F F F V V V F V F F V F V F V F V V V V F F V F V V V V V V V V F F F F F F V V V F V V V V F F 𝒑 → ~ 𝒒 Λ 𝒓 → ~ 𝒒 Λ ~ 𝒑 → 𝒒 EJEMPLO
  • 10. MÉTODOS DE DEMOSTRACIÓN MATEMÁTICA Son argumentos deductivos para asegurar la verdad de una proposición matemática. Las demostraciones son ejemplos de razonamiento deductivo y se distinguen de argumentos inductivos o empíricos; una demostración debe demostrar que una afirmación es siempre verdadera ocasionalmente al listar todos los casos posibles y mostrar que es válida en cada uno, más que enumerar muchos casos confirmatorios. Una afirmación no probada que se cree verdadera se conoce como conjetura. En principio una demostración se puede rastrear hasta afirmaciones generalmente aceptadas, conocidas como axiomas. Demostración por Principio de inducción matemática Demostración directa
  • 11. Demostración por Principio de inducción matemática En matemáticas, la inducción es un razonamiento que permite demostrar proposiciones que dependen de una variable que toma una infinidad de valores enteros. En términos simples, la inducción matemática consiste en el siguiente razonamiento: Dado un número entero a que tiene la propiedad P, y el hecho de que si hasta cualquier número entero n con la propiedad P implique que n+1 también la tiene, entonces, todos los números enteros a partir de a tienen la propiedad P. La demostración está basada en el axioma denominado principio de la inducción matemática 5 + 7 + 9 + ⋯ . +(2𝑛 + 3) = 𝑛2 + 4𝑛 PASO #1: 𝑛 = 1 2 × 1 + 3 = (1)2+4 × 1 5 = 1 + 4 5 = 5 PASO #2: S𝑒 𝑎𝑐𝑒𝑝𝑡𝑎: 𝑛 = 𝑘 5 + 7 + 9 + ⋯ . +(2𝑘 + 3) = 𝑘2 + 4𝑘 P𝒓𝒐𝒃𝒂𝒓: 𝑛 = 𝑘 + 1 5 + 7 + 9 + ⋯ . + 2𝑘 + 3 + (2(𝑘 + 1) + 3 = 𝑘 + 1 2 + 4(𝑘 + 1) 𝑘2 + 4𝑘 + (2𝑘 + 2 + 3) = 𝑘2 + 2𝑘 + 1 + 4𝑘 + 4 𝑘2 + 4𝑘 + 2𝑘 + 2 + 3 = 𝑘2 + 2𝑘 + 4𝑘 + 1 + 4 𝑘2 + 6𝑘 + 5 = 𝑘2 + 6𝑘 + 5 EJEMPLOS:
  • 12. Demostración directa Se plantea una proposición, en la forma si p, entonces q, donde p se denomina hipótesis (condición suficiente) y q se llama tesis o conclusión (condición necesaria). Por ejemplo, si llueve, la pista está mojada; esto es que una condición suficiente para que se moje la pista, es que llueva. Y si llueve, necesariamente se moja la pista. En el contexto matemático, de la verdad de la hipótesis se llega a la verdad de la conclusión, usando proposiciones cuya certeza se conoce previamente. En la demostración directa, la conclusión se establece al combinar lógicamente los axiomas, definiciones, y teoremas previos. Por ejemplo, la demostración directa puede ser usada para establecer que la suma de dos enteros pares es siempre par: 1. S𝒊 𝒂 𝒆𝒔 𝒊𝒎𝒑𝒂𝒓 𝒆𝒏𝒕𝒐𝒏𝒄𝒆𝒔 𝒂 𝟐 𝒆𝒔 𝒊𝒎𝒑𝒂𝒓 𝑎 = 2𝑛 + 1 → 𝑎2 = (2𝑛 + 1)2 = 4𝑛2 + 4𝑛 + 1 = 4𝑘 + 1 = 2(2𝑘) + 1 = 2 < +1 2. S𝒊 𝒂 𝒚 𝒃 𝒔𝒐𝒏 𝒏𝒖𝒎𝒆𝒓𝒐𝒔 𝒑𝒂𝒓𝒆𝒔 𝒆𝒏𝒕𝒐𝒏𝒄𝒆𝒔 𝒂 + 𝒃 𝒆𝒔 𝒑𝒂𝒓 𝑎 = 2𝑛 𝑦 𝑏 = 2𝑚 → 𝑎 + 𝑏 = 2𝑛 + 2𝑚 = 2(𝑛 + 𝑚) = 2𝑘 EJEMPLOS: = 4(𝑛2 +𝑛) + 1 𝑝 Λ 𝑝 → 𝑞 → 𝑞
  • 13. Ejemplo de Demostración por Principio de inducción matemática VIDEO EN YOUTUBE