Iniciar sesión Empieza a estudiar
La app de estudio todo en uno
4.8 • +11 mil reviews
Más de 3 millones de descargas
Free
|
|

Demostración por deducción

Demostración por deducción

"Si hoy es fin de semana; entonces, mañana debe ser un día de entre semana". Frases como la anterior pueden ser ciertas o falsas, lo cual las hace perfectas para hacer una demostración de prueba por deducción.

Para ello, puedes separar la frase en dos partes: primero, "hoy es fin de semana" \(A\); segundo, "mañana debe ser un día de entre semana" \(B\). Matemáticamente, puedes escribir esto como: \[A \rightarrow B\]

donde: \[\rightarrow\] es el símbolo que significa “por lo tanto”.

Lógica deductiva

La lógica deductiva es el proceso por el cual se llegan a conclusiones usando una serie de ideas que deben ser ciertas.

¿Suena complicado? Probablemente; pero, veamos de manera más sencilla qué significa esto con un ejemplo.

Se tienen dos ideas principales:

  • “Todas las personas respiran”.
  • “Mario es una persona”.

Tú sabes (y es de sentido común) que todas las personas respiran. Por lo tanto, la primera idea es cierta. Si además sabes que Mario (un amigo tuyo) es una persona, entonces él debe respirar. Por lo tanto, puedes decir:

“Mario respira”.

Esta es una deducción lógica:

  1. Tienes dos ideas llamadas argumentos o premisas.
  2. Estas se relacionan entre sí.
  3. De acuerdo con ello, llegas a una conclusión que debe ser cierta.

Razonamiento deductivo

El razonamiento deductivo es, básicamente, el proceso por el cual se piensa acerca de algo. Como mencionamos anteriormente, se tienen enunciados y estos se unen para saber si otra idea es verdadera o falsa. Al escuchar la palabra ”enunciados”, probablemente creas que esto no se usa en matemáticas; pero, hay muchos problemas en los que podrías necesitarlos. Por ejemplo, para comprobar un resultado:

“La raíz de un número negativo no existe”.

Por el momento, no explicaremos más sobre qué es existencia, o raíces; aunque, siempre puedes leer nuestro artículo Potencias y raíces.

Supongamos que tienes una ecuación como la siguiente: \[\sqrt{x^{2}-4xy^{3}}\]

Se te dice que los números \(x\) y \(y\) son iguales a \(x=2\), \(y=3\), y que el resultado de esta ecuación es un número real.

Entonces, al sustituir ambos valores en la ecuación original, obtendrías:

\[\sqrt{4-216}\]

\[\sqrt{-212}\]

Este resultado es, de hecho, incorrecto. ¿Pero, por qué? Bueno, veamos detenidamente y deduciremos el porqué.

Hay varios tipos de números, dos de ellos son los reales y los imaginarios. Para poder hacer el ejemplo sencillo, digamos que:

  • Los números imaginarios son aquellos que resultan de una raíz cuadrada o par que es negativa, como:

\[\sqrt[4]{-5}\]

\[\sqrt[2]{-5.34}\]

  • Los números reales, por otra parte, tienen una raíz cuadrada o par positiva, como:

\[\sqrt[4]{612}\]

\[\sqrt[2]{4.8}\]

Una vez definido esto, podemos regresar al problema y lo que nos dice: “La siguiente ecuación tiene como resultado un número real”: \(\sqrt[2]{x^{2}-4xy^{3}}\).

Sin embargo, al sustituir los valores, obtenemos: \(\sqrt[2]{-212}\).

Por tanto, si "Los números reales tienen una raíz cuadrada o par positiva”, entonces el resultado contradice la idea de que “el resultado de la ecuación debe ser un número real”.

Por ende, deducimos que el resultado que obtuvimos es equivocado y, por tanto, deducimos que los números \(x=2\), \(y=3\) están equivocados.

Parece algo largo, ¿no es cierto? Pero, la verdad es que tú usas el razonamiento deductivo todos los días, solo que lo haces automáticamente. En los siguientes párrafos explicaremos más sobre la deducción y te daremos más ejemplos de ello. Recuerda que la deducción es muy útil para poder, no solo comparar resultados, sino también algo llamado “argumentos”.

Este tipo de pensamiento, como ya vimos, se puede usar para comprobar resultados o ideas; es por esto que se usa como un método de demostración lógica en matemáticas.

La deducción es muy importante en ciencia y tecnología, ya que es la base del método científico. El método se podría resumir de la siguiente manera:

  1. Se analizan las ideas principales que se supone que son ciertas, en todo caso.
  2. Se plantea una hipótesis o se obtiene una idea extra. Una hipótesis, es simplemente, otra idea que surge de otras observaciones o de algún experimento.
  3. La nueva idea o hipótesis se comprueba contra las ideas principales. En caso de ser falsa, se hace una nueva hipótesis; en caso de ser verdadera, se considera comprobada.

Cabe aclarar que el proceso es más complicado, pero no entraremos en tantos detalles; de momento, esta es la explicación más simple que puedes usar.

¿Qué es una demostración por deducción?

Una demostración por deducción es un argumento en el que la certeza de que sea cierto depende de la certeza de que cada parte del argumento sea cierta \((A:B)\). También depende de la robustez lógica que conecta cada parte del argumento.

Veamos un ejemplo:

El argumento \(A\): “Si hoy es fin de semana”, nos da dos posibles respuestas: sábado o domingo, ya que estos son los dos días posibles para que la afirmación sea cierta.

Por otra parte, tenemos el argumento \(B\): "entonces, mañana será un día de entre semana".

Ahora, usamos las posibles respuestas de los argumentos \(A\) y \(B\), para poder probar la lógica del argumento principal:

  • Si hoy es sábado, mañana es domingo. Como el domingo sigue siendo fin de semana, esto hace el argumento falso.
  • En cambio, si fuese domingo, el argumento sería cierto.

Debido a esto, la lógica del argumento es débil, ya que depende de \(A\) y esto no siempre es cierto.

En matemáticas, los argumentos tienden a dar respuestas más concluyentes, ya que los números no se prestan a interpretaciones. Para demostrar un argumento matemático también conocido como conjetura por deducción—, necesitas una base fuerte de lógica y axiomas matemáticos.

Los axiomas matemáticos son los conceptos que definen un argumento.

Las demostraciones por deducción son uno de los tipos de demostraciones, también existen las demostraciones por contraejemplo y por casos o agotamiento.

Demostraciones usando deducción matemática

Para hacer una deducción matemática, debes:

  1. Considerar la lógica de la conjetura.
  2. Expresar los axiomas como una expresión matemática, cuando sea posible.
  3. Analizar el problema y, de este modo, observar si la conjetura es lógica.
  4. Expresar concluyentemente si la conjetura es cierta o falsa.

Expresando axiomas matemáticamente

A pesar de que muchas de estas expresiones algebraicas son familiares para ti, siempre es bueno revisarlas nuevamente, para que podamos expresar los axiomas correctamente. Por lo tanto, debemos tener claras las siguientes reglas:

Aquí hay una aclaración: \[c\in R\], lo cual significa que se define como cualquier número que existe en los reales.

1. Para expresar múltiplos de números, en términos de una variable/constante \(A\), podemos hacer \(An\).

Expresa \(n\) como un múltiplo de \(12\).

Solución

\(A\) es \(12\); entonces, la respuesta es \(12n\).

2. Para expresar dos números consecutivos, puedes empezar con \(n\) (o cualquier otro punto) y añadir sucesivamente valores \(n+1\), \(n+2\), etc.

Expresa los dos números consecutivos después de \(x^2\).

Solución

Para obtener los dos números consecutivos, necesitas añadir \(1\) y \(2\) al término.

El primer número sería: \[x^2\]

El segundo sería: \[x^2+1\]

El tercero sería:\[x^2+2\]

3. Para expresar números consecutivos que son pares, podemos expresarlo como \(2n\), empezando con \(n=0\).

Así, obtendríamos: \(0\), \(2\), \(4\)...

4. Para expresar números consecutivos que son impares, podemos expresarlo como \(2n+1\), empezando con \(n=0\).

Así obtendríamos: \(1\), \(3\), \(5\)...

Otro proceso importante es el de inducción matemática. Este proceso, al igual que la deducción, permite demostrar enunciados matemáticos. Pero, en el caso de la inducción, se comienza por un caso inicial y se sigue a uno general.

“\(2n\) es un número par si \(n\) es un entero”. En este caso, la idea, argumento o premisa es “es un número par si \(n\) es un entero”.

La pregunta, entonces, sería: ¿es esto cierto para cualquier \(n\)?

Solución

La inducción nos dice que debemos ir de un caso inicial, supongamos \(n=1\). ¿Es, entonces, \(2n\) un número par? Comprobemos:

\(2(1)=2\) y, sí, es un número par. Pero, este es un caso inicial.

Sigamos con \(n=2\): \(2(2)=4\) también es un número par.

Si seguimos con \(n=3\), \(2(3)=6\) también es par; y si seguimos con \(n=4; n=5;...\) obtendremos \(2n\), que es par.

Lo que se hace en este caso es llegar a una idea general que nos permita saber si esto será siempre cierto; este es el proceso de inducción.

Una solución a esto sería proponer que cualquier número par divido por \(2\) tiene un residuo de \(0\). Si vamos a nuestra fórmula de \(2n\) y lo dividimos entre dos, obtendremos que el resultado es: \[\frac{2n}{2}=n\]

Debido a que \(n\) es un entero, el residuo es \(0\); así que cualquier \(2n\) es par, mientras \(n\) sea un entero.

Ejemplos de lógica deductiva

Ahora introduciremos algunos ejemplos de pruebas por deducción; con esto, podrás familiarizarte más con el tema.

Demuestra que la suma de dos números consecutivos es equivalente a la resta de los dos números elevados al cuadrado.

Solución

Justo como el problema lo establece, puedes definir estos números como: \[n, n+1...\]

Ya que se tiene la suma de dos números consecutivos, puedes expresar esto como \[n+n+1\], que es \[2n+1\].

Después, puedes encontrar la diferencia entre sus cuadrados: \[(n+1)^2-n^2\]

Iguala ambos términos y desarrolla hasta igualar ambas expresiones:

\[2n+1=(n+1)^2-n^2\]

\[2n+1=n^2+1^2+2n-n^2\]

\[2n+1=2n+1\]

Hemos demostrado que ambas expresiones son iguales; por tanto, la premisa inicial es cierta. Para terminar de resolver esta pregunta, debemos ahora escribir la siguiente afirmación: "La suma de dos números consecutivos y la resta de los cuadrados de dos números consecutivos es lo mismo que: \(2n+1\)".

Demuestra que las soluciones de la siguiente ecuación son siempre positivas:

\[x^2+8x+20\]

Solución

Para poder hacer lo que se nos pide, reduzcamos la ecuación completando el cuadrado.

Para completar el cuadrado, dividimos entre \(2\) el coeficiente que va con la \(x\); en este caso es \(8\).

Así, expresamos el binomio al cuadrado como: \[x^2+4\]

Si desarrollásemos este binomio, el término constante sería \(16\).

Por tanto, debemos sumar \(4\) al binomio para obtener el \(20\) de la ecuación original.

Esto quedaría como: \[(x^2+4)+4\]

Como un binomio del tipo \((n^2+c)\) siendo \(c\) un número positivo, es siempre positivo y, si después se le suma \(4\), podemos afirmar que esta expresión es siempre positiva, independientemente del valor de \(x\).

Demostración por deducción - Puntos clave

  • La deducción usa ideas para llegar a un resultado. Por ejemplo, si se tiene una idea \(A\) y una idea \(B\), ambas se relacionan para llegar a una conclusión.
  • Las pruebas por deducción usan axiomas matemáticos y lógicos para probar si una conjetura es cierta o falsa.
  • Puedes expresar varios axiomas algebraicamente, usando álgebra y notación matemática.

Preguntas frecuentes sobre Demostración por deducción

Las demostraciones por deducción son uno de los tipos de demostraciones. También existen las demostraciones por contraejemplo y por casos o agotamiento.

La lógica deductiva es el proceso por el cual se llega a conclusiones usando una serie de ideas que deben ser ciertas.

1. Se analizan las ideas principales; que se supone son ciertas, en todo caso.

2. Se hace una hipótesis o se obtiene una idea extra. Una hipótesis es, simplemente, otra idea que surge de otras observaciones o de algún experimento.

3. La nueva idea o hipótesis se comprueba contra las ideas principales.

4. En caso de ser falsa, se hace una nueva hipótesis; en caso de ser verdadera, esta se considera comprobada.


Cabe decir que el proceso es más complicado, pero no entraremos en tantos detalles; de momento, esta es la explicación mas simple que puedes usar.

Llegar a una conclusión, usando una serie de ideas anteriores que se sabe que son ciertas.

  • El proceso de inducción matemática consiste en llegar a conclusiones generales a partir de premisas particulares. 
  • La deducción consiste en llegar a conclusiones particulares a partir de premisas generales.

Cuestionario final de Demostración por deducción

Pregunta

¿Qué símbolo significa "por lo tanto"?

Mostrar respuesta

Answer

\(\rightarrow\).

Show question

Pregunta

¿Qué es la lógica deductiva?

Mostrar respuesta

Answer

La lógica deductiva es el proceso por el cual se llegan a conclusiones particulares a partir de una premisa general.

Show question

Pregunta

Si todos los peces nadan y Marcelo tiene un animal que nada, ¿es este animal un pez?

Mostrar respuesta

Answer

No, porque todos los peces nadan, pero no todos los animales que nadan son peces. Es decir, \(A\rightarrow B\); pero, lo contrario no es cierto \(A\cancel{\leftarrow}B\).

Show question

Pregunta

Se tienen dos enunciados, que son: "todas las aves vuelan" y "Carla tiene un ave; por lo tanto, su ave vuela". 

¿Es esto cierto?

Mostrar respuesta

Answer

No.

Show question

Pregunta

Si Humberto es más alto que Carla, pero Carla es más alta que Enrique, ¿cómo es Enrique, en relación con Humberto?

Mostrar respuesta

Answer

Enrique es más bajo que Humberto; es decir, Humberto es más alto que Enrique.

Show question

Pregunta

¿Qué es el razonamiento deductivo?

Mostrar respuesta

Answer

El razonamiento que se obtiene a partir de unas premisas generales.

Show question

Pregunta

¿Qué es una demostración por deducción?

Mostrar respuesta

Answer

Una demostración por deducción es un argumento en el que la certeza de que sea cierto depende de la certeza de que cada parte del argumento sea cierta.

Show question

Pregunta

¿Qué es un axioma?

Mostrar respuesta

Answer

Los axiomas matemáticos son los conceptos que definen un argumento.

Show question

Pregunta

¿Falso o verdadero?: En el caso de la inducción matemática, se va de un caso general a uno particular.

Mostrar respuesta

Answer

Verdadero.

Show question

Pregunta

¿Cuál es otro nombre para una hipótesis matemática?

Mostrar respuesta

Answer

Conjetura.


Show question

Pregunta

¿Cuáles son las herramientas recomendables para demostrar un argumento matemático?

Mostrar respuesta

Answer

Lógica y axiomas matemáticos.

Show question

Pregunta

¿Cuáles son los pasos para probar una hipótesis matemática?

Mostrar respuesta

Answer

  1. Considerar la lógica de la hipótesis.
  2. Expresar los axiomas como una expresión matemática, cuando sea posible.
  3. Analizar el problema y, de este modo, observar si la hipótesis es lógica.
  4. Expresar conclusivamente si la hipótesis es cierta o falsa.

Show question

Pregunta

 Se tienen dos argumentos \(A\) y \(B\), que te permiten llegar a una conclusión, ya que se soportan entre sí. ¿Esto significa que la conclusión es real?

Mostrar respuesta

Answer

No, debido a que \(A\) y \(B\) deben también ser verdaderas.

Show question

Pregunta

Se tienen dos argumentos \(A\) y \(B\), que te permiten llegar a una conclusión falsa, ya que se soportan entre sí. ¿Esto significa que la conclusión es real?

Mostrar respuesta

Answer

No, debido a que \(A\) y \(B\) deben también ser verdaderas.

Show question

Pregunta

¿Cómo se escribe \(A\) por lo tanto \(B\)?

Mostrar respuesta

Answer

\(A \rightarrow B\).

Show question

60%

de los usuarios no aprueban el cuestionario de Demostración por deducción... ¿Lo conseguirás tú?

Empezar cuestionario

Scopri i migliori contenuti per le tue materie

No hay necesidad de copiar si tienes todo lo necesario para triunfar. Todo en una sola app.

Plan de estudios

Siempre preparado y a tiempo con planes de estudio individualizados.

Cuestionarios

Pon a prueba tus conocimientos con cuestionarios entretenidos.

Flashcards

Crea y encuentra fichas de repaso en tiempo récord.

Apuntes

Crea apuntes organizados más rápido que nunca.

Sets de estudio

Todos tus materiales de estudio en un solo lugar.

Documentos

Sube todos los documentos que quieras y guárdalos online.

Análisis de estudio

Identifica cuáles son tus puntos fuertes y débiles a la hora de estudiar.

Objetivos semanales

Fíjate objetivos de estudio y gana puntos al alcanzarlos.

Recordatorios

Deja de procrastinar con nuestros recordatorios de estudio.

Premios

Gana puntos, desbloquea insignias y sube de nivel mientras estudias.

Magic Marker

Cree tarjetas didácticas o flashcards de forma automática.

Formato inteligente

Crea apuntes y resúmenes organizados con nuestras plantillas.

Regístrate para poder subrayar y tomar apuntes. Es 100% gratis.