Contraejemplo

De Wikipedia, la enciclopedia libre
Esta es una versión antigua de esta página, editada a las 20:14 27 oct 2020 por SeroBOT (discusión · contribs.). La dirección URL es un enlace permanente a esta versión, que puede ser diferente de la versión actual.

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

Obtenido de «https://es.wikipedia.org/w/index.php?title=Contraejemplo&oldid=130428663»