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. El término proviene
del griego λήμμα lḗmma, 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, en la demostración de una fórmula, las hipótesis son el
conjunto de afirmaciones adicionales que son añadidas al conjunto
de axiomas, para determinar si la fórmula es deducible del conjunto
formado por axiomas e hipótesis mediante la aplicación de reglas de
inferencia.
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
FOTOGRAFÍAGRUPAL

Más contenido relacionado

La actualidad más candente

NUMEROS IRRACIONALES
NUMEROS IRRACIONALESNUMEROS IRRACIONALES
NUMEROS IRRACIONALESAline Vilchis
 
Propiedades de números reales
Propiedades de números realesPropiedades de números reales
Propiedades de números realesRosa E Padilla
 
Expresión algebraica
Expresión algebraicaExpresión algebraica
Expresión algebraicajujosansan
 
Diapositivas casos de factorización
Diapositivas casos de factorizaciónDiapositivas casos de factorización
Diapositivas casos de factorizaciónKytana López
 
Logica de predicados1
Logica de predicados1Logica de predicados1
Logica de predicados1Cesar Mujica
 
Ejercicios de Radicación de números enteros
Ejercicios de Radicación de números enterosEjercicios de Radicación de números enteros
Ejercicios de Radicación de números enterosgutidiego
 
Cociente notables
Cociente notablesCociente notables
Cociente notablesserg28
 
Números racionales
Números racionalesNúmeros racionales
Números racionalesNoelia R
 
Los primeros cinco casos de factorización
Los primeros cinco casos de factorizaciónLos primeros cinco casos de factorización
Los primeros cinco casos de factorizaciónalejandra26parada
 
Los numeros naturales
Los numeros naturalesLos numeros naturales
Los numeros naturalesserg28
 
Descomposición de un número en factores primos
Descomposición de un número en factores primosDescomposición de un número en factores primos
Descomposición de un número en factores primosAna Yelo Villalba
 
Teoria y problemas de logaritmos lg2 ccesa007
Teoria y problemas de logaritmos  lg2 ccesa007Teoria y problemas de logaritmos  lg2 ccesa007
Teoria y problemas de logaritmos lg2 ccesa007Demetrio Ccesa Rayme
 
Unidad i guia de números complejos
Unidad i guia de números complejosUnidad i guia de números complejos
Unidad i guia de números complejosJulio Barreto Garcia
 
Operaciones con fracciones
Operaciones  con fraccionesOperaciones  con fracciones
Operaciones con fraccionesGran Pachacutec
 
Aplicacion de las funciones atematicas a la vida diaria
Aplicacion de las funciones atematicas a la vida diariaAplicacion de las funciones atematicas a la vida diaria
Aplicacion de las funciones atematicas a la vida diariaJhunior Romero
 

La actualidad más candente (20)

NÚMEROS ENTEROS
NÚMEROS ENTEROSNÚMEROS ENTEROS
NÚMEROS ENTEROS
 
Logaritmos
LogaritmosLogaritmos
Logaritmos
 
NUMEROS IRRACIONALES
NUMEROS IRRACIONALESNUMEROS IRRACIONALES
NUMEROS IRRACIONALES
 
Propiedades de números reales
Propiedades de números realesPropiedades de números reales
Propiedades de números reales
 
Expresión algebraica
Expresión algebraicaExpresión algebraica
Expresión algebraica
 
Logaritmos
LogaritmosLogaritmos
Logaritmos
 
Diapositivas casos de factorización
Diapositivas casos de factorizaciónDiapositivas casos de factorización
Diapositivas casos de factorización
 
Logica de predicados1
Logica de predicados1Logica de predicados1
Logica de predicados1
 
Ejercicios de Radicación de números enteros
Ejercicios de Radicación de números enterosEjercicios de Radicación de números enteros
Ejercicios de Radicación de números enteros
 
Exposicion funciones logaritmicas
Exposicion funciones logaritmicasExposicion funciones logaritmicas
Exposicion funciones logaritmicas
 
Cociente notables
Cociente notablesCociente notables
Cociente notables
 
Números racionales
Números racionalesNúmeros racionales
Números racionales
 
Progresiones aritmeticas
Progresiones aritmeticasProgresiones aritmeticas
Progresiones aritmeticas
 
Los primeros cinco casos de factorización
Los primeros cinco casos de factorizaciónLos primeros cinco casos de factorización
Los primeros cinco casos de factorización
 
Los numeros naturales
Los numeros naturalesLos numeros naturales
Los numeros naturales
 
Descomposición de un número en factores primos
Descomposición de un número en factores primosDescomposición de un número en factores primos
Descomposición de un número en factores primos
 
Teoria y problemas de logaritmos lg2 ccesa007
Teoria y problemas de logaritmos  lg2 ccesa007Teoria y problemas de logaritmos  lg2 ccesa007
Teoria y problemas de logaritmos lg2 ccesa007
 
Unidad i guia de números complejos
Unidad i guia de números complejosUnidad i guia de números complejos
Unidad i guia de números complejos
 
Operaciones con fracciones
Operaciones  con fraccionesOperaciones  con fracciones
Operaciones con fracciones
 
Aplicacion de las funciones atematicas a la vida diaria
Aplicacion de las funciones atematicas a la vida diariaAplicacion de las funciones atematicas a la vida diaria
Aplicacion de las funciones atematicas a la vida diaria
 

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

métodos de demostración matemática
métodos de demostración matemática métodos de demostración matemática
métodos de demostración matemática LeoNaula1
 
Proposiciones
ProposicionesProposiciones
Proposicionesluisv9616
 
Logicamatematica herney guzman
Logicamatematica herney guzmanLogicamatematica herney guzman
Logicamatematica herney guzmanHerneyGuzman
 
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
 
CALCULO PROPOSICIONAL
CALCULO PROPOSICIONAL CALCULO PROPOSICIONAL
CALCULO PROPOSICIONAL Kathy Mishell
 
Herney guzman logica matematica
Herney guzman logica matematicaHerney guzman logica matematica
Herney guzman logica matematicaHerneyGuzman
 
Metodos de demostracion
Metodos de demostracionMetodos de demostracion
Metodos de demostracionpuce-si
 
metodos de demostracion
metodos de demostracionmetodos de demostracion
metodos de demostracionCristopher
 
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
 
Trabajo de logica matematica
Trabajo de logica matematicaTrabajo de logica matematica
Trabajo de logica matematicaFabian_Figueroa
 

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

métodos de demostración matemática
métodos de demostración matemática métodos de demostración matemática
métodos de demostración matemática
 
inferencias lógicas
inferencias lógicas  inferencias lógicas
inferencias lógicas
 
Proposiciones
ProposicionesProposiciones
Proposiciones
 
Logica matematica
Logica matematicaLogica matematica
Logica matematica
 
Logicamatematica herney guzman
Logicamatematica herney guzmanLogicamatematica herney guzman
Logicamatematica herney guzman
 
Logica matematica
Logica matematicaLogica matematica
Logica matematica
 
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
 
Anshi numeros
Anshi numerosAnshi numeros
Anshi numeros
 
Logicamatematica paula alejandra
Logicamatematica paula alejandraLogicamatematica paula alejandra
Logicamatematica paula alejandra
 
CALCULO PROPOSICIONAL
CALCULO PROPOSICIONAL CALCULO PROPOSICIONAL
CALCULO PROPOSICIONAL
 
Herney guzman logica matematica
Herney guzman logica matematicaHerney guzman logica matematica
Herney guzman logica matematica
 
Numeros complejos
Numeros complejosNumeros complejos
Numeros complejos
 
Metodos de demostracion
Metodos de demostracionMetodos de demostracion
Metodos de demostracion
 
metodos de demostracion
metodos de demostracionmetodos de demostracion
metodos de demostracion
 
Metodos de demostracion
Metodos de demostracionMetodos de demostracion
Metodos de demostracion
 
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.
 
Trabajo de logica matematica
Trabajo de logica matematicaTrabajo de logica matematica
Trabajo de logica matematica
 
Introduccin a la logica
Introduccin a la logicaIntroduccin a la logica
Introduccin a la logica
 
Introduccin a la logica
Introduccin a la logicaIntroduccin a la logica
Introduccin a la logica
 

Último

MINEDU BASES JUEGOS ESCOLARES DEPORTIVOS PARADEPORTIVOS 2024.docx
MINEDU BASES JUEGOS ESCOLARES DEPORTIVOS PARADEPORTIVOS 2024.docxMINEDU BASES JUEGOS ESCOLARES DEPORTIVOS PARADEPORTIVOS 2024.docx
MINEDU BASES JUEGOS ESCOLARES DEPORTIVOS PARADEPORTIVOS 2024.docxLorenaHualpachoque
 
sesion de aprendizaje 1 SEC. 13- 17 MAYO 2024 comunicación.pdf
sesion de aprendizaje 1 SEC. 13- 17  MAYO  2024 comunicación.pdfsesion de aprendizaje 1 SEC. 13- 17  MAYO  2024 comunicación.pdf
sesion de aprendizaje 1 SEC. 13- 17 MAYO 2024 comunicación.pdfmaria luisa pahuara allcca
 
GRUPO 2 - LA GRAN TRIBULACIÓN 25-03-2024 vf.pdf
GRUPO 2 - LA GRAN TRIBULACIÓN 25-03-2024 vf.pdfGRUPO 2 - LA GRAN TRIBULACIÓN 25-03-2024 vf.pdf
GRUPO 2 - LA GRAN TRIBULACIÓN 25-03-2024 vf.pdfjorge531093
 
Revista Apuntes de Historia. Mayo 2024.pdf
Revista Apuntes de Historia. Mayo 2024.pdfRevista Apuntes de Historia. Mayo 2024.pdf
Revista Apuntes de Historia. Mayo 2024.pdfapunteshistoriamarmo
 
Las Preguntas Educativas entran a las Aulas CIAESA Ccesa007.pdf
Las Preguntas Educativas entran a las Aulas CIAESA  Ccesa007.pdfLas Preguntas Educativas entran a las Aulas CIAESA  Ccesa007.pdf
Las Preguntas Educativas entran a las Aulas CIAESA Ccesa007.pdfDemetrio Ccesa Rayme
 
El liderazgo en la empresa sostenible, introducción, definición y ejemplo.
El liderazgo en la empresa sostenible, introducción, definición y ejemplo.El liderazgo en la empresa sostenible, introducción, definición y ejemplo.
El liderazgo en la empresa sostenible, introducción, definición y ejemplo.JonathanCovena1
 
Prueba de evaluación Geografía e Historia Comunidad de Madrid 2º de la ESO
Prueba de evaluación Geografía e Historia Comunidad de Madrid 2º de la ESOPrueba de evaluación Geografía e Historia Comunidad de Madrid 2º de la ESO
Prueba de evaluación Geografía e Historia Comunidad de Madrid 2º de la ESOluismii249
 
Concepto y definición de tipos de Datos Abstractos en c++.pptx
Concepto y definición de tipos de Datos Abstractos en c++.pptxConcepto y definición de tipos de Datos Abstractos en c++.pptx
Concepto y definición de tipos de Datos Abstractos en c++.pptxFernando Solis
 
Tema 19. Inmunología y el sistema inmunitario 2024
Tema 19. Inmunología y el sistema inmunitario 2024Tema 19. Inmunología y el sistema inmunitario 2024
Tema 19. Inmunología y el sistema inmunitario 2024IES Vicent Andres Estelles
 
RESOLUCIÓN VICEMINISTERIAL 00048 - 2024 EVALUACION
RESOLUCIÓN VICEMINISTERIAL 00048 - 2024 EVALUACIONRESOLUCIÓN VICEMINISTERIAL 00048 - 2024 EVALUACION
RESOLUCIÓN VICEMINISTERIAL 00048 - 2024 EVALUACIONamelia poma
 
POEMAS ILUSTRADOS DE LUÍSA VILLALTA. Elaborados polos alumnos de 4º PDC do IE...
POEMAS ILUSTRADOS DE LUÍSA VILLALTA. Elaborados polos alumnos de 4º PDC do IE...POEMAS ILUSTRADOS DE LUÍSA VILLALTA. Elaborados polos alumnos de 4º PDC do IE...
POEMAS ILUSTRADOS DE LUÍSA VILLALTA. Elaborados polos alumnos de 4º PDC do IE...Agrela Elvixeo
 
UNIDAD 3 -MAYO - IV CICLO para cuarto grado
UNIDAD 3 -MAYO - IV CICLO para cuarto gradoUNIDAD 3 -MAYO - IV CICLO para cuarto grado
UNIDAD 3 -MAYO - IV CICLO para cuarto gradoWilian24
 
La Sostenibilidad Corporativa. Administración Ambiental
La Sostenibilidad Corporativa. Administración AmbientalLa Sostenibilidad Corporativa. Administración Ambiental
La Sostenibilidad Corporativa. Administración AmbientalJonathanCovena1
 
Plan-de-la-Patria-2019-2025- TERCER PLAN SOCIALISTA DE LA NACIÓN.pdf
Plan-de-la-Patria-2019-2025- TERCER PLAN SOCIALISTA DE LA NACIÓN.pdfPlan-de-la-Patria-2019-2025- TERCER PLAN SOCIALISTA DE LA NACIÓN.pdf
Plan-de-la-Patria-2019-2025- TERCER PLAN SOCIALISTA DE LA NACIÓN.pdfcarolinamartinezsev
 
FICHA CUENTO BUSCANDO UNA MAMÁ 2024 MAESTRA JANET.pdf
FICHA CUENTO BUSCANDO UNA MAMÁ  2024 MAESTRA JANET.pdfFICHA CUENTO BUSCANDO UNA MAMÁ  2024 MAESTRA JANET.pdf
FICHA CUENTO BUSCANDO UNA MAMÁ 2024 MAESTRA JANET.pdfPaulaAnglicaBustaman
 
animalesdelaproincia de beunos aires.pdf
animalesdelaproincia de beunos aires.pdfanimalesdelaproincia de beunos aires.pdf
animalesdelaproincia de beunos aires.pdfSofiaArias58
 
Prueba de evaluación Geografía e Historia Comunidad de Madrid 4ºESO
Prueba de evaluación Geografía e Historia Comunidad de Madrid 4ºESOPrueba de evaluación Geografía e Historia Comunidad de Madrid 4ºESO
Prueba de evaluación Geografía e Historia Comunidad de Madrid 4ºESOluismii249
 
La Evaluacion Formativa SM6 Ccesa007.pdf
La Evaluacion Formativa SM6  Ccesa007.pdfLa Evaluacion Formativa SM6  Ccesa007.pdf
La Evaluacion Formativa SM6 Ccesa007.pdfDemetrio Ccesa Rayme
 

Último (20)

MINEDU BASES JUEGOS ESCOLARES DEPORTIVOS PARADEPORTIVOS 2024.docx
MINEDU BASES JUEGOS ESCOLARES DEPORTIVOS PARADEPORTIVOS 2024.docxMINEDU BASES JUEGOS ESCOLARES DEPORTIVOS PARADEPORTIVOS 2024.docx
MINEDU BASES JUEGOS ESCOLARES DEPORTIVOS PARADEPORTIVOS 2024.docx
 
sesion de aprendizaje 1 SEC. 13- 17 MAYO 2024 comunicación.pdf
sesion de aprendizaje 1 SEC. 13- 17  MAYO  2024 comunicación.pdfsesion de aprendizaje 1 SEC. 13- 17  MAYO  2024 comunicación.pdf
sesion de aprendizaje 1 SEC. 13- 17 MAYO 2024 comunicación.pdf
 
TÉCNICAS OBSERVACIONALES Y TEXTUALES.pdf
TÉCNICAS OBSERVACIONALES Y TEXTUALES.pdfTÉCNICAS OBSERVACIONALES Y TEXTUALES.pdf
TÉCNICAS OBSERVACIONALES Y TEXTUALES.pdf
 
GRUPO 2 - LA GRAN TRIBULACIÓN 25-03-2024 vf.pdf
GRUPO 2 - LA GRAN TRIBULACIÓN 25-03-2024 vf.pdfGRUPO 2 - LA GRAN TRIBULACIÓN 25-03-2024 vf.pdf
GRUPO 2 - LA GRAN TRIBULACIÓN 25-03-2024 vf.pdf
 
Revista Apuntes de Historia. Mayo 2024.pdf
Revista Apuntes de Historia. Mayo 2024.pdfRevista Apuntes de Historia. Mayo 2024.pdf
Revista Apuntes de Historia. Mayo 2024.pdf
 
Las Preguntas Educativas entran a las Aulas CIAESA Ccesa007.pdf
Las Preguntas Educativas entran a las Aulas CIAESA  Ccesa007.pdfLas Preguntas Educativas entran a las Aulas CIAESA  Ccesa007.pdf
Las Preguntas Educativas entran a las Aulas CIAESA Ccesa007.pdf
 
El liderazgo en la empresa sostenible, introducción, definición y ejemplo.
El liderazgo en la empresa sostenible, introducción, definición y ejemplo.El liderazgo en la empresa sostenible, introducción, definición y ejemplo.
El liderazgo en la empresa sostenible, introducción, definición y ejemplo.
 
Prueba de evaluación Geografía e Historia Comunidad de Madrid 2º de la ESO
Prueba de evaluación Geografía e Historia Comunidad de Madrid 2º de la ESOPrueba de evaluación Geografía e Historia Comunidad de Madrid 2º de la ESO
Prueba de evaluación Geografía e Historia Comunidad de Madrid 2º de la ESO
 
Concepto y definición de tipos de Datos Abstractos en c++.pptx
Concepto y definición de tipos de Datos Abstractos en c++.pptxConcepto y definición de tipos de Datos Abstractos en c++.pptx
Concepto y definición de tipos de Datos Abstractos en c++.pptx
 
Tema 19. Inmunología y el sistema inmunitario 2024
Tema 19. Inmunología y el sistema inmunitario 2024Tema 19. Inmunología y el sistema inmunitario 2024
Tema 19. Inmunología y el sistema inmunitario 2024
 
RESOLUCIÓN VICEMINISTERIAL 00048 - 2024 EVALUACION
RESOLUCIÓN VICEMINISTERIAL 00048 - 2024 EVALUACIONRESOLUCIÓN VICEMINISTERIAL 00048 - 2024 EVALUACION
RESOLUCIÓN VICEMINISTERIAL 00048 - 2024 EVALUACION
 
POEMAS ILUSTRADOS DE LUÍSA VILLALTA. Elaborados polos alumnos de 4º PDC do IE...
POEMAS ILUSTRADOS DE LUÍSA VILLALTA. Elaborados polos alumnos de 4º PDC do IE...POEMAS ILUSTRADOS DE LUÍSA VILLALTA. Elaborados polos alumnos de 4º PDC do IE...
POEMAS ILUSTRADOS DE LUÍSA VILLALTA. Elaborados polos alumnos de 4º PDC do IE...
 
UNIDAD 3 -MAYO - IV CICLO para cuarto grado
UNIDAD 3 -MAYO - IV CICLO para cuarto gradoUNIDAD 3 -MAYO - IV CICLO para cuarto grado
UNIDAD 3 -MAYO - IV CICLO para cuarto grado
 
La Sostenibilidad Corporativa. Administración Ambiental
La Sostenibilidad Corporativa. Administración AmbientalLa Sostenibilidad Corporativa. Administración Ambiental
La Sostenibilidad Corporativa. Administración Ambiental
 
Plan-de-la-Patria-2019-2025- TERCER PLAN SOCIALISTA DE LA NACIÓN.pdf
Plan-de-la-Patria-2019-2025- TERCER PLAN SOCIALISTA DE LA NACIÓN.pdfPlan-de-la-Patria-2019-2025- TERCER PLAN SOCIALISTA DE LA NACIÓN.pdf
Plan-de-la-Patria-2019-2025- TERCER PLAN SOCIALISTA DE LA NACIÓN.pdf
 
FICHA CUENTO BUSCANDO UNA MAMÁ 2024 MAESTRA JANET.pdf
FICHA CUENTO BUSCANDO UNA MAMÁ  2024 MAESTRA JANET.pdfFICHA CUENTO BUSCANDO UNA MAMÁ  2024 MAESTRA JANET.pdf
FICHA CUENTO BUSCANDO UNA MAMÁ 2024 MAESTRA JANET.pdf
 
animalesdelaproincia de beunos aires.pdf
animalesdelaproincia de beunos aires.pdfanimalesdelaproincia de beunos aires.pdf
animalesdelaproincia de beunos aires.pdf
 
Prueba de evaluación Geografía e Historia Comunidad de Madrid 4ºESO
Prueba de evaluación Geografía e Historia Comunidad de Madrid 4ºESOPrueba de evaluación Geografía e Historia Comunidad de Madrid 4ºESO
Prueba de evaluación Geografía e Historia Comunidad de Madrid 4ºESO
 
Sesión de clase APC: Los dos testigos.pdf
Sesión de clase APC: Los dos testigos.pdfSesión de clase APC: Los dos testigos.pdf
Sesión de clase APC: Los dos testigos.pdf
 
La Evaluacion Formativa SM6 Ccesa007.pdf
La Evaluacion Formativa SM6  Ccesa007.pdfLa Evaluacion Formativa SM6  Ccesa007.pdf
La Evaluacion Formativa SM6 Ccesa007.pdf
 

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. El término proviene del griego λήμμα lḗmma, 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, en la demostración de una fórmula, las hipótesis son el conjunto de afirmaciones adicionales que son añadidas al conjunto de axiomas, para determinar si la fórmula es deducible del conjunto formado por axiomas e hipótesis mediante la aplicación de reglas de inferencia.
  • 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