Me parece que es bastante menos intuitivo cuando no se dan ejemplos. Así que echemos un vistazo a los ejemplos.
Tomemos la siguiente declaración: si Bob es soltero, debe estar soltero.
Supongamos que descubrimos que Bob es soltero. Debe seguirse (por definición) que no está casado. Así que necesariamente sigue. Por otro lado, para que Bob esté soltero, es suficiente, es suficiente para que Bob sea soltero, pero no tiene que serlo. Podría ser un bebé recién nacido y también soltero, pero creo que no llamaríamos soltero a un bebé recién nacido. Se debe incluir algún concepto de elegibilidad para el matrimonio.
Otro ejemplo. Supongamos que necesita ahorrar $ 200 para comprar un buen reloj. Para comprar el reloj, es necesario ahorrar $ 200. Pero si ahorró más, digamos $ 300, esos $ 300 son suficientes. Es suficiente, en realidad más que suficiente. Así que los $ 300 no son necesarios pero sí es suficiente.
- ¿La universidad a la que va para determinar su éxito en el futuro?
- ¿Cómo se puede entender el significado de la vida?
- Si crees en vidas anteriores y en la reencarnación, ¿qué justifica tu creencia?
- ¿Qué es el hedonismo? ¿Cuáles son algunos ejemplos?
- ¿Por qué la sociedad valora la felicidad y sentirse bien por estar contenta?
Algunos ejemplos más interesantes:
Mucha gente piensa que el libre albedrío es necesario para la moralidad. Si alguien no pudiera tomar decisiones libres, generalmente no responsabilizaríamos al individuo por las acciones, al menos moralmente. Ahora, podemos seguir actuando, dependiendo de lo que hizo la persona, para evitar que vuelva a suceder lo que sucedió. Sin embargo, muchas personas no piensan que el libre albedrío es suficiente para la acción moral porque las personas a menudo todavía eligen hacer cosas “malas”. Por supuesto, esta discusión no pretende que exista la moral, solo que si existiera, el libre albedrío debería ser una condición necesaria pero probablemente insuficiente para ello.
Otro ejemplo filosófico es la tradición de que para tener conocimiento necesitamos tener una creencia, estar justificados para tenerla, y tiene que ser verdad. Pero en 1963, Edmund Gettier dio algunos casos que muestran que estas tres condiciones no son suficientes para el conocimiento.
Por último, en los espacios vectoriales de dimensión finita con estructura topológica, los conjuntos compactos son equivalentes a los conjuntos cerrados y limitados (pero no en espacios vectoriales de dimensión infinita). Esto significa que para ser compacto, es necesario y suficiente para que el conjunto sea cerrado y acotado.