¿Cuál es la diferencia entre las condiciones suficientes y necesarias en matemáticas?

Tratemos de determinar si un número es par .

Una condición necesaria para que un número sea par es que debe ser un número entero.

Una condición suficiente es que el dígito de sus unidades * es 6.

Una condición necesaria es una declaración tal que si NO se cumple, no hay forma de que la proposición sea verdadera; en nuestro caso, la uniformidad de los números solo se aplica a los enteros, por lo que es necesario que el número sea un entero en el primer sitio.

Una condición suficiente es una afirmación tal que si se cumple, entonces se garantiza que la proposición es verdadera; en nuestro caso, si un número termina en 6, es obviamente divisible por 2 y, por lo tanto, es par.

Sin embargo, estos ejemplos muestran que ninguna condición es necesariamente útil para determinar la uniformidad de los números. Las condiciones necesarias pueden ser demasiado amplias, mientras que las condiciones suficientes no capturan todos los casos: ¿qué pasa con los números que terminan en 0, 2, 4 y 8? Por lo tanto, es importante pensar en cómo estas condiciones pueden restringirse / ampliarse al hacer matemáticas.

* cuando está escrito en base 10

La página Necesidad y suficiencia: Wikipedia es de muy buena calidad para explicar la diferencia. En particular, los ejemplos son buenas explicaciones.

Condiciones suficientes garantizan un resultado.

Las condiciones necesarias no lo harán.

Por ejemplo…. “Fumar” es una condición suficiente para evitar a algunas personas.

“No fumar” es un rasgo necesario para hacerse amigo mío. (Pero eso no significa que me haría amigo de todos y cada uno de los que no fuman)

EDITAR1:
SI alguien es mi amigo, puede asumir con seguridad que la persona no fumará.

En otras palabras … si un predicado ‘p’ es suficiente para un evento e, significa que, si demostramos que p es verdadero, e es verdadero.

Por otro lado, si ‘p’ es un predicado necesario de un evento ‘e’, ​​significa que … cada vez que ‘e’ sucede, ‘p’ se vuelve verdad!

Edit2:
En la forma más simple …

Considere una implicación … p => q

p es suficiente para q.

y q es necesario para p.