Lógica proposicional: proposiciones, negación y cuantificadores
A tu muchacho le cae encima un tema que ni parece matemática: proposiciones, negaciones, "para todo", "existe", y siente que le hablan en clave sin darle la llave.
Pero la lógica proposicional es puro sentido común ordenado: aquí va la idea clave, un ejercicio resuelto paso a paso y práctica para que niegue afirmaciones sin enredarse.
La idea clave
Una proposición es una afirmación que se puede juzgar como verdadera o falsa, sin puntos medios. Negar una proposición es afirmar lo contrario. Y ojo con los cuantificadores: para tumbar un "para todo x se cumple P" no hace falta que fallen todos, basta encontrar UN solo caso que no cumpla, un contraejemplo.
Un ejercicio resuelto, paso a paso
Niega correctamente la proposición "Todos los estudiantes aprobaron el examen".
Reconoce el cuantificador: "todos" es un "para todo".
La negación de un "para todo" es un "existe al menos uno que no".
Redáctalo claro: basta un estudiante que no haya aprobado para que la original sea falsa.
"Existe al menos un estudiante que NO aprobó el examen". (Para negar un "para todo" basta un solo contraejemplo: no hace falta que TODOS reprueben; con que UNO no haya aprobado, la afirmación original ya es falsa.)
Ponte a prueba (preguntas reales de nuestras evaluaciones)
¿Cuál de estos enunciados ES una proposición?
Respuesta: "El nivel del embalse supera 95 m". Es una afirmación que se puede juzgar V o F.
Para REFUTAR "para todo x, P(x)" hay que…
Respuesta: Hallar UN contraejemplo (un x con P(x) falso). Uno basta para derribar el universal.
Al aplicar De Morgan, el conectivo…
Respuesta: Se invierte: ∧ pasa a ∨ y ∨ pasa a ∧. Esa es la clave de la ley.
Estas preguntas salen de los bancos de Aula Sofía, alineados al currículo del MINERD. En la plataforma, cada error se explica al instante con su paso a paso.
¿Domina esto de verdad? Averígualo en 10 minutos
Evaluación gratis de 30 preguntas (3.º de Secundaria), sin crear cuenta. Al final ves su nivel, sus fortalezas y qué le conviene reforzar.
Practiquen con frases de casa: "todos comieron" se niega como "al menos uno no comió", no como "nadie comió".
Que aprenda De Morgan con un ejemplo: al negar, la "y" pasa a "o" y la "o" pasa a "y".
Recuérdale que una pregunta o una orden no son proposiciones; solo lo son las frases que se pueden declarar verdaderas o falsas.
Preguntas frecuentes
¿En qué grado se ve la lógica proposicional en RD?
Se trabaja en 3.º de Secundaria, alineada al currículo del MINERD, como base del razonamiento matemático y las demostraciones.
¿Cómo se refuta una afirmación con "para todo"?
Basta hallar un contraejemplo: un único caso donde no se cumpla. No es necesario que fallen todos los casos; con uno que falle, la afirmación general queda refutada.
¿Toda frase es una proposición?
No. Solo lo es la que se puede clasificar como verdadera o falsa. Por ejemplo, "El nivel del embalse supera 95 m" sí lo es; una pregunta o un deseo, no.
Aula Sofía · MateVerso — matemáticas que se ven y se tocan, alineadas al currículo del MINERD (República Dominicana). Contenido revisado el 2026-07-10.