Diferencia entre revisiones de «Contraejemplo»
Contenido eliminado Contenido añadido
Error ortográfico Etiquetas: Edición desde móvil Edición vía web móvil |
m Revertidos los cambios de 172.56.4.235 (disc.) a la última edición de Eduardosalg |
||
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 contraejemplo a "todos los escritores son inteligentes".
| |||