Diferencia entre revisiones de «Contraejemplo»
Contenido eliminado Contenido añadido
Sin resumen de edición |
m Deshecha la edición 54735565 de 190.27.163.218 (disc.) |
||
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 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
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).
| |||