En matemáticas, un contraejemplo se usa para refutar una afirmación. Si desea probar que una declaración es verdadera, debe escribir una prueba para demostrar que siempre es verdadera; Dar un ejemplo no es suficiente. En comparación con escribir una prueba, escribir un contraejemplo es mucho más simple; Si desea mostrar que una declaración no es verdadera, solo necesita proporcionar un ejemplo de un escenario en el que la declaración sea falsa. La mayoría de los contraejemplos en álgebra involucran manipulaciones numéricas.
Dos clases de matemáticas

La escritura de prueba y el hallazgo de contraejemplos son dos de las clases principales de matemáticas. La mayoría de los matemáticos se centran en la escritura de pruebas para desarrollar nuevos teoremas y propiedades. Cuando las afirmaciones o las conjeturas no se pueden demostrar como verdaderas, los matemáticos las refutan dando contraejemplos.
Los contraejemplos son concretos

En lugar de usar variables y notaciones abstractas, puede usar ejemplos numéricos para refutar un argumento. En el álgebra, la mayoría de los contraejemplos involucran la manipulación utilizando diferentes números positivos y negativos o impares y pares, casos extremos y números especiales como 0 y 1.
Sciencing Video Vault
Cree el corchete (casi) perfecto: Así es como
Cree el corchete (casi) perfecto: aquí es cómo un contraejemplo es suficiente

La filosofía del contraejemplo es que si en un escenario la afirmación no es cierta, entonces la afirmación es falsa. Un ejemplo no matemático es "Tom nunca ha dicho una mentira". Para demostrar que esta afirmación es cierta, debe proporcionar una "prueba" de que Tom nunca dijo una mentira al rastrear cada afirmación que Tom haya hecho. Sin embargo, para refutar esta afirmación, solo necesita mostrar una mentira que Tom haya hablado alguna vez.
Contraejemplos famosos

"Todos los números primos son impares". Aunque casi todos los números primos, incluidos todos los números primos superiores a 3, son impares, "2" es un número primo que es par; esta afirmación es falsa; "2" es el contraejemplo relevante.

"La resta es conmutativa". Tanto la suma como la multiplicación son conmutativas, se pueden realizar en cualquier orden. Es decir, para cualquier número real a y b, a + b = b + a y a * b = b * a. Sin embargo, la resta no es conmutativa; un contraejemplo que demuestra que esto es: 3 - 5 no es igual a 5 - 3.

"Cada función continua es diferenciable". La función absoluta | x |  es continuo para todos los números positivos y negativos; pero no es diferenciable en x = 0; desde | x |  es una función continua, este contraejemplo demuestra que no todas las funciones continuas son diferenciables.