METODO DE DEMOSTRACION
Es un argumento en que se ha empleado un razonamiento lógico para demostrar la veracidad de algo.
¿Cuándo un argumento es válido?
¿Qué es una demostración? Es un argumento en que se ha empleado un razonamiento lógico para demostrar la veracidad de algo.
2 Cuándo un argumento es válido? Cuando las premisas o hipótesis verdaderas dan como resultado la conclusión verdadera.
NOMBRE DEL METODO
METODO DE DEMOSTRACION
METODO DIRECTO
METODO INDIRECTO (
Contrareciproca)
DESMOSTRACION POR
CONTRAPOSICION
DEMOSTRACION POR ANALISIS
DE CASOS
DESCRIPCION EN PALABRAS DEL METODO
Es un argumento en que se ha empleado un razonamiento lógico para demostrar la veracidad
de algo.
Se supone la (s) hipótesis y se emplea un sistema matemático para demostrar de manera
directa la conclusión. Por cierto, ¿qué es un sistema matemático? Ejemplo La suma de enteros
pares es par. Escribir este enunciado en la forma p → q.
Contrarrecíproco. Se llama contrarrecíproco o contraposición a una ley lógica,
formalizada en los silogismos por Aristóteles, que establece que la negación de un
consecuente implica la negación de su antecedente. ... El contrarrecíproco es una
articulación alternativa del modus tollendo tollens de la lógica proposicional.
En lógica, la contraposición de una declaración condicional se forma negando ambos
términos e invirtiendo la dirección de la inferencia. Explícitamente, la contraposición de
la declaración «si A, entonces B» es «si no es B, entonces no A». Una declaración y su
contrapositiva son lógicamente equivalentes: si la afirmación es cierta, entonces su
contrapositivo es cierto, y viceversa.1​ En matemáticas, la demostración por
contraposición es una regla de inferencia utilizada en demostraciones. Esta regla se
infiere una sentencia condicional a partir de su contraposición.2​ En otras palabras, la
conclusión «si A, entonces B» se extrae de la premisa simple «si no B, entonces no A»
La demostración por casos es un método de demostración matemática en el cual la proposición
a ser probada se divide en un número finito de casos, y cada caso es demostrado por separado.
También se la conoce como demostración exhaustiva, demostración por
agotamiento o método de fuerza bruta.Una demostración por casos consta de dos etapas: Una
prueba de que los casos son exhaustivos; es decir, que cada instancia de la proposición a ser
probada coincide con las condiciones de (al menos) uno de los casos.
EJEMPLO DEL METODO CONDICION DEL METODO
Cuándo un argumento es válido? Cuando las premisas o hipótesis verdaderas dan como resultado la
¿Qué forma tiene un teorema? p → q
conclusión verdadera.
Escribir este enunciado en la forma p → q. Ejemplo la suma de enteros pares es
Demuestra que el cuadrado de un número par es par. Realiza lo mismo que el ejercicio anterior
par.
Un ejemplo sencillo: "Demuéstrese que todos los números primos mayores que 2
son impares". Aquí, la proposición p es "n es un número primo mayor que 2" y la
proposición q es "n es un número impar". Demostrar "si todo número primo es
Si tenemos que demostrar que una proposición p implica una proposición q (es decir, si se
mayor que 2, entonces es impar (p>q)es lo mismo que demostrar que " si todo
da p , se tiene que dar q ), a veces es más sencillo demostrar que si no se da q , entonces no
entero negativo no es impar, entonces no es un número primo o es menor o igual
puede cumplirse p . Esto se conoce como demostración por
que 2. -p>q- Esto es más fácil de demostrar, ya que todo número par se puede
contrarrecíproco o contraposición. Nótese que "p implica q " y "no q implica no p " son
escribir como n = 2 × k, donde k es mayor o igual que 1 (la idea de número primo
proposiciones equivalentes.
tiene sentido sólo en los números naturales3​). Si k es igual a 1, tenemos n = 2,
número primo. Si, por el contrario, k es mayor que 1, entonces n es mayor que 2,
pero no es primo ya que tiene algún factor que no es ni 1 ni él mismo. Así que 2 es
el único número primo par, por lo que se ha demostrado que todos los números
primos mayores que 2 son impares.
Sea x un número entero. Para demostrar: Si x² es par, entonces x es
par.A pesar de se puede dar una demostración directa, optamos por
probar esta afirmación por contraposición. La contraposición de la
declaración anterior es: Si x no es par, entonces x² no es par.Esta
Cualquier demostración por contraposición también puede formularse trivialmente en términos de
ultima afirmacion se puede demostrar de la siguiente manera.
una demostración por contradicción:
Supongamos que x no es uniforme. entonces X es impar. El producto
de dos numeros impares es impar. Por lo tanto, X3+x.x es impar. por lo
tanto x3 no es par. Despues de haber probado la contraposicion,
inferimos la declaracion Original
Demostrar que todo número que es un cubo perfecto tiene que ser un
múltiplo de 9, un múltiplo de 9 más 1 o un múltiplo de 9 menos
1.Demostración Todo cubo perfecto es el cubo de algún natural n. Este No hay un tope al número de casos permitidos en una demostración exhaustiva. A veces
natural es o un múltiplo de 3, o uno más o uno menos que un múltiplo de 3. solamente hay 2 o 3 casos. A veces puede haber miles o incluso millones. Por ejemplo,
Entonces los siguientes casos son exhaustivos: Caso 1: Si n = 3p, resolver rigurosamente un problema de final de juego en ajedrez puede involucrar la
entonces n3 = 27p3, que es múltiplo de 9.Caso 2: Si n = 3p + 1, then n3 = consideración de un número muy elevado de posibles posiciones en el árbol de juego de ese
27p3 + 27p2 + 9p + 1, que es 1 más que un múltiplo de 9. Por ejemplo, problema.La primera demostración del teorema de los cuatro colores fue una demostración
si n = 4 then n3 = 64 = 9×7 + 1. Caso 3: Si n = 3p − 1, exhaustiva con 1.936 casos. Esta demostración fue controvertida porque la mayoría de los
entonces n3 = 27p3 − 27p2 + 9p − 1, que es 1 menos que un múltiplo casos fueron examinados por un programa de computadora, no a mano. La demostración
de 9. Por ejemplo si n = 5 entonces n3 = 125 = 9×14 − 1 más breve conocida de este teorema aún tiene más de 600 casos.Los matemáticos prefieren
evitar demostraciones con grandes números de casos porque sienten que son poco
elegantes — dejan una impresión de que el teorema es solamente cierto por coincidencia, y
no por algún principio o conexión subyacente —. No obstante, hay algunos teoremas
importantes para los cuales ningún otro método de demostración ha sido hallado.Además del
teorema de los cuatro colores, otros ejemplos de demostración por casos son: La prueba de
que no existe ningún plano proyectivo de orden 10. La clasificación de grupos finitos
simples.La conjetura de Kepler.
0
0