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 matematicas
la corrección de pruebas y la búsqueda de contraejemplos son dos de las principales clases 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 conjeturas no pueden demostrarse como verdaderas, los matemáticos las refutan dando contraejemplos.
los contraejemplos son de concreto
En lugar de usar variables y notaciones abstractas, puede usar ejemplos numéricos para refutar un argumento. en álgebra, la mayoría de los contraejemplos implican manipulación utilizando diferentes números positivos y negativos o impares, casos extremos y números especiales como 0 y 1.
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 ha realizado. sin embargo, para refutar esta afirmación, solo necesita mostrar una mentira que Tom ha dicho 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.