Demostración directa
Aprende a construir demostraciones directas derivando lógicamente conclusiones de hipótesis dadas usando definiciones, axiomas y teoremas previamente demostrados.
Definición
- Comenzar asumiendo que es verdadero
- Usar deducciones lógicas para mostrar que también debe ser verdadero
Pruébalo ahora
Ejemplos resueltos
Demuestra: Si y son enteros pares, entonces es par.
Enunciar la hipótesis
Supongamos que y son enteros pares → Dado: y son pares
Aplicar la definición de par
Un entero par puede escribirse como para algún entero → y para enteros
Sumar los dos números
→
Factorizar el factor común
→
Aplicar nuevamente la definición de par
Como es un entero, es par por definición → es par
Respuesta: Por lo tanto, la suma de dos enteros pares siempre es par. QED
Errores comunes
Usar ejemplos específicos en lugar de una prueba general
Por qué está mal: Mostrar que (par) no prueba nada sobre TODOS los números pares. Una prueba debe funcionar para todos los casos posibles.
Correcto: Usa variables y definiciones. Escribe 'Sea para algún entero ' para representar CUALQUIER número par.
Asumir lo que se quiere demostrar
Por qué está mal: No puedes usar la conclusión en tu razonamiento. Esto es lógica circular.
Correcto: Comienza solo desde la hipótesis y avanza. Nunca escribas 'Como es par...' hasta que lo hayas demostrado.
Saltar pasos lógicos
Por qué está mal: Cada paso debe seguir lógicamente de los pasos anteriores. Las lagunas en el razonamiento pueden ocultar errores.
Correcto: Justifica cada paso con una definición, un axioma o un teorema previamente demostrado.
Visual interactivo
Tabla de verdad
| P | Q | P ∧ Q |
|---|---|---|
| F | F | F |
| F | T | F |
| T | F | F |
| T | T | T |
T= VerdaderoF= Falso
Sandbox interactivo
Calculadora de expresiones
Prueba estos:
Historial
Aún no hay cálculos
Problemas de práctica
17 problemas¿Cuál es el primer paso en una demostración directa?
Por qué es importante
- Fundamento de las matemáticas: Cada teorema que usas fue demostrado usando demostración directa o métodos relacionados
- Ciencias de la computación: Las pruebas de corrección de algoritmos a menudo usan razonamiento directo
- Argumentos legales: Los abogados construyen argumentos desde las pruebas hasta la conclusión
- Método científico: Derivar predicciones de hipótesis usa la misma estructura lógica
- Resolución de problemas: Dividir problemas complejos en pasos lógicos
Aplicaciones del mundo real
Verificación de software
Los programadores usan la lógica de demostración directa para verificar que su código funciona correctamente para todas las entradas.
Ejemplo:
Para demostrar que un algoritmo de ordenamiento siempre produce una salida ordenada, mostramos: si la entrada es una lista, la salida tiene los mismos elementos en orden no decreciente.
Un programa duplica cada número en una lista. Necesitamos demostrar: si todos los números de entrada son positivos, todos los números de salida son positivos.
Completa esta demostración directa.
Paso 1: Escribe la expresión matemática
Si , entonces
Razonamiento legal
Los abogados construyen argumentos que llevan lógicamente de las pruebas a las conclusiones.
Ejemplo:
Si el contrato establece que el pago vence en la entrega, y la entrega ocurrió el 1 de marzo, entonces el pago vencía el 1 de marzo.
Ley: Todos los ciudadanos mayores de 18 años pueden votar. Hecho: Alex es ciudadano. Hecho: Alex tiene 21 años.
Demuestra que Alex puede votar.
Paso 1: Escribe la expresión matemática
Estructura el argumento lógico
Puntos clave
- 1Una demostración directa asume que la hipótesis es verdadera y deriva la conclusión mediante pasos lógicos
- 2Usa definiciones para traducir palabras a expresiones matemáticas (por ejemplo, par = )
- 3Cada paso debe seguir lógicamente de los pasos anteriores usando álgebra, definiciones o teoremas
- 4La prueba termina cuando alcanzas la forma exacta de la conclusión
- 5QED (quod erat demonstrandum) marca el final de una prueba
Preguntas frecuentes
Glosario
- Demostración directa
- Un método de prueba que asume la hipótesis y usa deducción lógica para derivar la conclusión
- Hipótesis
- La parte 'si' de un enunciado condicional; lo que asumimos como verdadero
- Conclusión
- La parte 'entonces' de un enunciado condicional; lo que queremos demostrar
- QED
- Abreviatura de 'quod erat demonstrandum', marca el final de una prueba
- Teorema
- Un enunciado matemático que ha sido demostrado como verdadero
- Axioma
- Un enunciado aceptado como verdadero sin prueba; un punto de partida para el razonamiento