Una afirmación que parece obvia puede ser falsa, y una afirmación verdadera puede estar mal justificada.
En computación no basta con que un ejemplo funcione: debes distinguir evidencia de demostración. Esta lección parte de situaciones sencillas para aprender a traducir afirmaciones, reconocer cuantificadores y aplicar un método de prueba sin asumir experiencia matemática previa.
📷 Antes de comenzar
Un programa funciona correctamente con cinco datos de prueba. ¿Qué puedes concluir de manera formal?
Objetivo didáctico
Al terminar esta lección podrás aplicar variables, cuantificadores y métodos elementales de prueba para justificar una afirmación vinculada con un problema computacional, distinguiendo cuándo basta una prueba directa, cuándo conviene dividir en casos y cuándo un contraejemplo invalida una afirmación universal.
Introducción
Las matemáticas discretas trabajan con afirmaciones cuya validez debe quedar explícita. En una asignatura inicial esto puede sentirse distinto de resolver una ecuación: aquí importa tanto el resultado como la cadena de razones que permite aceptarlo.
Piensa en una condición de un programa: “para todo usuario válido, la contraseña tiene al menos un carácter”. Antes de discutir si es correcta necesitas saber qué significa “usuario válido”, cuál es el dominio de la variable y qué cuantificador está operando. Una frase ambigua produce una prueba ambigua.
El objetivo no es memorizar nombres de técnicas. Primero aprenderás a leer la estructura lógica de una afirmación; después elegirás un método que encaje con esa estructura. Esa decisión es la habilidad que se reutilizará en inducción, teoría de números, algoritmos y grafos.
Desarrollo del tema
Variables, proposiciones y cuantificadores
Una proposición es una afirmación a la que puede asignarse un valor de verdad. Una expresión como “x es par” todavía no es una proposición completa si no sabes qué valor toma x o qué conjunto de valores puede tomar. Cuando una variable aparece dentro de una afirmación, hablamos de un predicado.
El dominio especifica los valores permitidos. No es un detalle: “x tiene inverso” cambia de sentido si x pertenece a los enteros, a los reales o a otro conjunto. Para estudiantes que empiezan la ingeniería, conviene escribir el dominio de forma explícita hasta que la práctica vuelva natural esta disciplina.
Los cuantificadores más frecuentes son “para todo” y “existe”. Una afirmación universal exige que la propiedad se cumpla en cada elemento del dominio; una existencial solo requiere encontrar al menos un elemento que la satisfaga. Negarlas cambia también el cuantificador: negar “para todo” conduce a “existe al menos uno que no”.
💡 Cuantificador
Expresión que indica cuántos elementos del dominio deben satisfacer un predicado. Para aplicar una prueba, identifica primero si la afirmación es universal o existencial.
🔎 Revela la estructura
Prueba tú: toma la frase “todo identificador tiene longitud positiva”. Escribe el dominio de los identificadores y decide qué tendría que ocurrir para refutarla. No busques todavía una demostración; practica separar dominio, cuantificador y propiedad.
De la implicación a una prueba utilizable
Muchas afirmaciones matemáticas tienen forma condicional: si P, entonces Q. P es la hipótesis y Q la conclusión. Una prueba directa comienza aceptando la hipótesis y encadenando definiciones, propiedades conocidas o resultados previos hasta obtener la conclusión.
Un error frecuente es empezar por lo que se quiere probar y usarlo como si ya fuera cierto. Para evitarlo, separa en tu borrador dos columnas: “lo que puedo asumir” y “lo que debo obtener”. La prueba debe cruzar de la primera a la segunda mediante pasos justificados.
Otra posibilidad es trabajar con la contraposición: “si no Q, entonces no P”. Esta afirmación es lógicamente equivalente a la implicación original y a veces resulta más fácil de demostrar. No debe confundirse con la conversa “si Q, entonces P”, que puede tener un valor de verdad diferente.
↔ Compara dos rutas de prueba
Figura 1. Árbol de decisión introductorio para relacionar la forma de una afirmación con estrategias de prueba.
Decide: para demostrar “si n es múltiplo de 4, entonces n es par”, ¿qué información te entrega la definición de múltiplo de 4 y cómo te acerca a la definición de número par? Escribe dos pasos, no solo el nombre del método.
Métodos de prueba y contraejemplos
La prueba directa encadena definiciones y propiedades desde la hipótesis hasta la conclusión. La prueba por contraposición demuestra una implicación equivalente. La prueba por contradicción supone temporalmente que la afirmación que se desea demostrar es falsa y deriva una incompatibilidad con una premisa, definición o resultado aceptado.
La prueba por casos divide el dominio en situaciones que, juntas, deben cubrir todas las posibilidades relevantes. Su dificultad no está en resolver cada rama, sino en justificar que ninguna posibilidad quedó fuera.
Un contraejemplo no es un método para demostrar una afirmación universal: sirve para refutarla. Si alguien afirma que “para todo entero n, n²+n es impar”, basta encontrar un entero permitido para el que la expresión resulte par. Un solo caso válido derriba una afirmación universal; muchos casos favorables no la demuestran.
En problemas computacionales esta distinción aparece al validar algoritmos. Las pruebas con datos concretos ayudan a detectar errores, pero la corrección general necesita un argumento que abarque la clase de entradas declarada.
📷 Control de comprensión
Quieres justificar: “si un entero es divisible entre 6, entonces es divisible entre 3”. ¿Qué inicio es más adecuado para una prueba directa?
Aplica: elige una afirmación sencilla de tu entorno computacional, identifica si es universal, existencial o condicional, y escribe qué método intentarías primero. Justifica tu elección con la estructura lógica, no con “parece más fácil”.
Conclusión
Una prueba útil comienza antes de escribir operaciones: exige precisar el dominio, reconocer los cuantificadores y separar hipótesis de conclusión. Solo después se elige la estrategia. La prueba directa avanza desde lo conocido; la contraposición trabaja con una forma equivalente; la contradicción busca una incompatibilidad; la división en casos debe ser exhaustiva; y un contraejemplo basta para refutar una afirmación universal.
Esta estructura será el punto de apoyo de la siguiente lección. La inducción no es una colección de ejemplos: es un método formal para demostrar que una propiedad se conserva al avanzar de un caso al siguiente.
🔭 Para seguir aprendiendo
- ¿Qué afirmación sobre un proceso repetitivo de tu entorno —un contador, una secuencia de estados o el tamaño de una estructura— podría requerir una prueba para todos los valores posibles?
Actividad de aprendizaje autónoma
Etapa 1 · Delimita el problema y demuestra una afirmación. Elige un caso de interés vinculado con computación que puedas conservar durante las ocho lecciones. Debe contener entidades identificables, un proceso repetitivo, relaciones entre elementos, variables cuantificables y al menos una restricción que pueda reutilizarse después.
- Delimita el caso. Describe el contexto en términos sencillos y define sus objetos principales sin suponer conocimientos avanzados de programación.
- Formula una afirmación verificable. Declara variables, dominio y cuantificadores. Evita afirmaciones puramente descriptivas.
- Elige un método. Aplica prueba directa, contraposición, contradicción o casos, según corresponda, y justifica por qué esa estrategia coincide con la estructura de tu afirmación.
- Comprueba la argumentación. Señala qué definición o propiedad respalda cada paso y verifica que no hayas usado la conclusión como premisa.
- Documenta el contraste. Registra las fuentes consultadas. Si usaste un sistema de inteligencia artificial, indica qué preguntaste, qué conservaste, qué descartaste y cómo comprobaste la respuesta.
🗂 Planifica tu etapa
✔ Evidencia de logro
- Descripción del caso que servirá como hilo conductor del proyecto.
- Afirmación formal con variables, dominio y cuantificadores identificables.
- Demostración con pasos justificados y método declarado.
- Justificación de por qué el método elegido es adecuado.
- Registro de fuentes y, si hubo consulta a inteligencia artificial, contraste y verificación.
Si otra persona aceptara tu afirmación solo porque vio tres ejemplos favorables, ¿qué parte de tu demostración le mostrarías para justificar que el argumento cubre realmente el dominio declarado?
Referencias bibliográficas
- Grimaldi, R. P. (2025). Discrete and combinatorial mathematics: An applied introduction (5th ed., Global ed.). Pearson.
- Lehman, E., Leighton, F. T., & Meyer, A. R. (s. f.). Mathematics for computer science. Massachusetts Institute of Technology OpenCourseWare.
- Rosen, K. H. (2019). Discrete mathematics and its applications (8th ed.). McGraw Hill.