¿Cuáles son algunos ejemplos prácticos de la vida cotidiana de la “condición suficiente” y la “condición necesaria” de las implicaciones en términos de un laico?

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.

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.

Si estás cambiando a un bebé (por alguna razón, ese es el primer ejemplo que me vino a la cabeza), entonces:

  • Retirar el pañal viejo es necesario pero no es suficiente para cambiar el pañal.
  • Reemplazar un pañal sucio con varios pañales limpios solapados es suficiente pero no es necesario para cambiar un pañal.
  • Reemplazar un pañal sucio con un solo pañal limpio es tanto necesario como suficiente para , y por lo tanto, equivalente a cambiar el pañal.
  • Lanzar al bebé por la ventana no es necesario ni suficiente para cambiar el pañal.

Para ser llamada una vaca, es una condición necesaria para ser un animal, pero no es una condición suficiente.

Para obtener upvotes en Quora, es necesario escribir respuestas pero no es una condición suficiente.

GV

Considere dos estados matemáticos P y Q. P es una condición necesaria y suficiente para Q si

  • Es necesario. Esto significa que Q implica P, o que para que Q sea verdadera, siempre debemos tener que P es verdadera. Si P no es verdadero, entonces Q no es verdadero porque la verdad de P es necesaria para la verdad de Q.
  • Es suficiente. Esto es lo mismo que antes, pero en la dirección opuesta. Significa que P implica Q, o que la verdad de P por sí sola es suficiente para dar a entender que Q es verdadera.

En general, ser una condición necesaria y suficiente (si y solo si) significa que las dos afirmaciones son lógicamente equivalentes (ambas son verdaderas o falsas). Esto significa que P debe ser suficiente para implicar a Q, pero también debe ser necesario, porque de lo contrario P podría ser falso, mientras que Q es verdadero.

“X es una condición necesaria y suficiente para Y” significa que si tienes X, también tienes Y (x es suficiente), y si no tienes X no tienes Y (x es necesario).

Consideremos un ejemplo:

Si elige un número x mayor que 1, tiene la garantía de que x será mayor que 0.

Por lo tanto, “x> 1” es una condición suficiente para que “x> 0” sea verdadera.

Si escoge x mayor que -1, entonces podría haber elegido una x que es mayor que 0, pero tal vez no (podría haber escogido x = -.5, o x = .5 por ejemplo). Sin embargo, necesitas al menos x mayor que -1 para esperar que H sea verdad.

Por lo tanto, “x> -1” es una condición necesaria para que “x> 0” sea verdadera.