Revisión del 17:52 21 ago 2011 editar 190.165.56.88 (discusión) Sin resumen de edición ← Ir a diferencia anterior		Revisión del 18:06 21 ago 2011 editar deshacer Cheveri (discusión · contribs.) Verificadores, Reversores 31 332 ediciones m Revertidos los cambios de 190.165.56.88 (disc.) a la última edición de Cheveri Ir a siguiente diferencia →
Línea 1: 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 [[cuantificador universal\|cuantificación universal]] (un "para todo"). Por ejemplo, consideremos la proposición "todos los ~~profesores~~escritores son ~~buena gente~~inteligentes". Como esta proposición dice que una cierta propiedad (~~buena gente~~inteligencia) es válida para todos los ~~profesores~~escritores, incluso un solo ~~profesor~~escritor [[~~mala gente~~tonto]] probará su falsedad. En este caso, un ~~profesor~~escritor ~~bien chuchilla~~tonto es un contraejemplo a "todos los ~~profesores~~escritores son ~~buena gente~~inteligentes". El número [[dos\|2]] es el único contraejemplo de la proposición "todos los [[número primo\|números primos]] son [[número impar\|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).

Diferencia entre revisiones de «Contraejemplo»