Revisión del 20:48 7 nov 2013 editar 209.30.99.249 (discusión) →‎Véase también ← Ir a diferencia anterior		Revisión del 20:50 7 nov 2013 editar deshacer 97.77.220.86 (discusión) Sin resumen de edición 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~~Moises ~~los~~Vargas ~~escritores~~es ~~son~~inteligente ~~inteligentes~~". Como esta proposición dice que una cierta propiedad (inteligencia) es válida para ~~todos~~MOises ~~los~~Vargas ~~escritores~~, incluso un solo ~~escritor~~Moises [[tonto]] probará su falsedad. En este caso, un ~~escritor~~ MOises Vargas tonto es un contraejemplo a "~~todos~~Moises ~~los~~Vragas ~~escritores~~ son 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»