Condición necesaria
Una condición necesaria es un concepto de lógica, razonamiento y matemáticas.
Se define como una conclusión a la que se llega como resultado de algún hecho específico. Si existe un hecho, entonces, necesariamente, también debe existir un hecho que sea una conclusión. En otras palabras: si una condición necesaria no se cumple, definitivamente no se cumplirá el hecho por el cual se cumple esa condición necesaria.
Por ejemplo: si cualquier número es divisible por 15, entonces su último dígito es 0 o 5. El hecho de que un número tenga una última cifra de 0 o 5 es una condición necesaria para que un número sea divisible por 15.
Por lo tanto, no se tiene que verificar la divisibilidad por medio de otros 15 números (que no tengan como último dígito 0 o 5).
Si el último dígito del número no fuera 0 ni 5, entonces se podría deducir que no es divisible entre 15. Siendo así, se dice que la condición necesaria para ser un número divisible entre 15, es que la última cifra sea 0 o 5.