Contraejemplo

Contraejemplo

En lógica, especialmente en sus aplicaciones a matemáticas y filosofía, un contraejemplo es una excepción a una regla general propuesta, es decir, un caso específico de la falsedad de una cuantificación universal (un "para todo").

Por ejemplo, consideremos la proposición "todos los escritores son inteligentes". Como esta proposición dice que una cierta propiedad (inteligencia) es válida para todos los escritores, incluso un solo escritor tonto probará su falsedad. En este caso, un escritor tonto es un contraejemplo a "todos los escritores son inteligentes".

El número 2 es el único contraejemplo de la proposición "todos los números primos son impares". Algunas proposiciones pueden ser negadas con un número mayor, incluso infinito de contraejemplos ("todos los números impares son primos" tiene infinitos contraejemplos: todos los múltiplos impares de 3, 5, 7, etc).

Véase también


Wikimedia foundation. 2010.

Игры ⚽ Нужна курсовая?

Mira otros diccionarios:

  • contraejemplo — m. Ejemplo que contradice lo que se ha pretendido mostrar con otro …   Diccionario de la lengua española

  • Contraejemplo — ► sustantivo masculino Aquello que contradice una afirmación, una regla o una teoría: ■ aseguró que todos los cisnes eran blancos y ellos, como contraejemplo, le señalaron que existen cisnes negros. * * * contraejemplo. m. Ejemplo que contradice… …   Enciclopedia Universal

  • Inducción estructural — La inducción estructurada es un método de demostración utilizado en Lógica matemática, teoría de los grafos, Computación y en otras áreas. Se trata de una generalización de la inducción matemática. Dado un conjunto C con un orden parcial bien… …   Wikipedia Español

  • Problema de Gettier — El problema de Gettier es un problema de gnoseología moderna que surge al presentar contraejemplos a la definición de la lógica proposicional del conocimiento como creencia verdadera justificada (CVF). El problema le debe su nombre a un artículo… …   Wikipedia Español

  • Emmy Noether — Amalie Emmy Noether Nacimiento 23 de marzo de 1882 Erlangen, Baviera, Alemania Fallecimiento …   Wikipedia Español

  • Conjetura de Hirsch — En optimización y en combinatoria poliédrica, la conjetura de Hirsch afirma que si un poliedro está definido por n desigualdades lineales en d variables siempre ha de ser posible viajar de cualquier vértice a cualquier otro vértice recorriendo… …   Wikipedia Español

  • Conjetura de Pólya — En matemáticas, la conjetura de Pólya es una hipótesis que plantea que la mayoría de los números naturales (más del 50% de ellos) menores que cualquier número dado, tienen una cantidad impar de factores primos. La conjetura fue propuesta por el… …   Wikipedia Español

  • Hipótesis de Riemann — Parte real (rojo) y parte imaginaria (azul) de la línea crítica Re(s) = 1/2 de la función zeta de Riemann. Pueden verse los primeros ceros no triviales en Im(s) = ±14,135, ±21,022 y ±25,011 …   Wikipedia Español

  • Filosofía de la matemática — Saltar a navegación, búsqueda La filosofía de las matemáticas es una rama de la filosofía. Según Michael Dummett puede considerarse que hay cuatro preguntas fundamentales sobre el contenido de la filosofía de las matemáticas: ¿Cómo sabemos que… …   Wikipedia Español

  • Distribución normal multivariante — Saltar a navegación, búsqueda Normal multivariante Función de distribución de probabilidad Parámetros (vector real) Σ matriz de covarianza (matriz real definida positiva de dimensión …   Wikipedia Español

Compartir el artículo y extractos

Link directo
Do a right-click on the link above
and select “Copy Link”