Condición necesaria y suficiente


Condición necesaria y suficiente

En lógica, las palabras necesario y suficiente describen la relación que mantienen dos proposiciones o estado de las cosas, si una es condicionante de la otra. Por ejemplo, alguien puede decir:

  • El tomar agua regularmente es necesario para que un humano se mantenga con vida.
  • El saltar es suficiente para despegarse de la tierra.
  • El tener una credencial de identificación es una condición necesaria y suficiente para ser admitido.

Nota: este artículo discute solamente la relación lógica implícita en las palabras necesario y suficiente. El significado causal de estas palabras es ignorado. Esto es potencialmente engañoso, ya que estas palabras a menudo implican causalidad en su uso normal.

Contenido

Condiciones necesarias

Al decir que A es necesaria para B, estamos diciendo que B no puede ser verdadera a menos que A sea verdadera, o que cuando quiera, donde quiera, o como sea, B es verdadera, si A lo es.

En pocas palabras: Si el antecedente es falso, el consecuente tiene que ser falso.

Nosotros podemos decir que el tener por lo menos 18 años es necesario para tener una licencia de conducir.

En el sentido en el que utilizamos aquí la palabra «necesario», podemos decir también «el humo es necesario para el fuego». Esto es confuso, desde el momento en que el humo viene después del fuego; pero todo lo que nosotros estamos diciendo es que donde quiera que exista B, ahí existe A, es decir, el fuego (A) no puede ocurrir sin que exista humo (B). Estamos tratando de no decir nada acerca de la dirección del tiempo. En el lenguaje ordinario diríamos «El humo es una consecuencia necesaria del fuego».[1]

En cada caso, lo importante es notar que una cosa es asumida (el fuego, una licencia), y una segunda cosa es derivada como «necesaria consecuentemente». El tener 18 es una condición necesaria en el segundo caso; el humo es una condición necesaria en el primer caso (sin embargo, nuevamente, originariamente no deberemos llamar esto una «condición»).

Es importante saber que es muy posible que una condición necesaria ocurra por sí sola, por ejemplo, uno puede tener 18 años y no tener la licencia de conducir, y hay formas de generar humo sin fuego.

Si A es una condición necesaria para B, entonces la relación lógica entre A y B se expresa: «si B entonces A» o «B solo si A» o «B → A».

Condiciones suficientes

Al decir que A es suficiente para B, estamos diciendo precisamente lo contrario: que A no puede ocurrir sin B, o cuando sea que ocurra A, B ocurrirá. Es decir, que el hecho de que exista fuego es suficiente para que haya humo.

En pocas palabras si el antecedente es verdadero, el consecuente tiene que ser verdadero

Las condiciones necesarias y suficientes consecuentemente están relacionadas. A es una condición necesaria para B solo en el caso de que B sea una condición suficiente para A.

En el sentido en el cual utilizamos la palabra «suficiente», podríamos también decir «tener una licencia es suficiente para tener dieciocho años». Esto es confuso, desde el momento en que tener una licencia no «causa» que tengas dieciocho años; no obstante, la percepción común es que si tú tienes una licencia, tú debes tener dieciocho años (consideramos la licencia como una prueba de edad debido a que la consideramos «suficiente» para demostar la edad en algo como en el sentido expuesto). Trate de ignorar la relación causal y la dirección del tiempo: Estamos poniendo atención solo en la relación lógica.

En todo caso, note que una cosa es asumida (fuego, una licencia), y «esta misma cosa» la identificamos como la condición suficiente para otra cosa (humo, edad) - suficiente en el sentido de «lo justo adecuado para que la otra exista».

Debemos considerar que, una condición suficiente, por definición, es aquello que no puede ocurrir sin aquello para lo que es condición, así que, no puedes tener una licencia sin tener dieciocho años.

Si A es una condición suficiente para B, entonces la relación lógica entre ellas es expresada como «Si A entonces B» o «A solo si B» o «A → B».

Condición necesaria y suficiente

Decir que A es necesaria y suficiente para B es decir dos cosas simultáneamente:

  1. A es necesaria para B
  2. A es suficiente para B.

Por ejemplo, Si Alicia siempre come bistec el lunes, pero nunca en otro día, podemos decir que «El hecho de que sea lunes es una condición necesaria y suficiente para que Alicia coma bistec». Lo recíproco también es verdadero: «El hecho de que Alicia esté comiendo bistec es una condición necesaria y suficiente para que sea lunes». De este modo, en el momento en que A es necesaria y suficiente para B, B es necesaria y suficiente para A.

Una vez más, esto es confuso, desde que la acción de Alicia de comer bistec no causa que sea Lunes.

Desde que la frase «necesaria y suficiente» puede expresar una relación entre oraciones o entre estado de las cosas, objetos, o eventos, esta no debe ser combinada demasiado rápido con equivalencia lógica. El hecho de que Alicia este comiendo bistec no es equivalentemente lógico para que sea Lunes.

Sin embargo, «A es necesario y suficiente para B» expresa la misma cosa que «A si y solo si B».

Notas

  1. Para el propósito de este ejemplo, ignoraremos la posibilidad de que el fuego no cree humo.

Enlaces externos


Wikimedia foundation. 2010.

Mira otros diccionarios:

  • Condición necesaria y suficiente — En lógica, las palabras necesario y suficiente describen la relación que mantienen dos proposiciones o estado de las cosas, si una es condicionante de la otra. Por ejemplo, alguien puede decir: ● El tomar agua regularmente es necesario para que… …   Enciclopedia Universal

  • Condición (lógica) — Saltar a navegación, búsqueda Es una proposición molecular (o esquema proposicional) que establece una relación de dependencia de una proposición con respecto a otra. La condición suele recibir el nombre de antecedente; lo condicionado… …   Wikipedia Español

  • Condición — (Del lat. conditio, onis, estado, manera de ser < dicere, decir.) ► sustantivo femenino 1 Naturaleza, forma de ser y propiedades físicas de las cosas o de los animales. SINÓNIMO calidad índole naturaleza 2 Modo de ser y de comportarse… …   Enciclopedia Universal

  • Elasticidad plana — La elasticidad plana se refiere al estudio de soluciones particulares del problema elástico general y al estudio del conjunto de aplicaciones técnicas en que aparecen dichos estados elásticos de tensión deformación reducibles a problemas planos o …   Wikipedia Español

  • Integración de Riemann — En el área de Análisis Matemático, la integral de Riemann, es una forma de abordar el problema de la integración, denotada usualmente de la siguiente forma: Contenido 1 Definición formal 1.1 Partición de un Intervalo y su Norma …   Wikipedia Español

  • Cuadrilátero cíclico — Saltar a navegación, búsqueda Cuadrilátero cíclico. Se dice que un cuadrilátero es cíclico si sus cuatro vértices se encuentran en una misma circunferencia. Para un cuadrilátero convexo, una condición necesaria y suficiente para qué sea cíclico… …   Wikipedia Español

  • Factorización de matrices — Saltar a navegación, búsqueda En álgebra lineal la factorización de una matriz es la descomposición de la misma como producto de dos o más matrices según una forma canónica. Según las aplicaciones de la factorización podemos distinguir los… …   Wikipedia Español

  • Ecuación de quinto grado — Saltar a navegación, búsqueda Polinomio de 5º grado: f(x) = (x+4)(x+2)(x+1)(x 1)(x 3)/20+2 En matemática, se denomina ecuación quíntica o de quinto grado a una ecuación polinómica en que el exponente de la variable independiente de mayor grado es …   Wikipedia Español

  • Superficie reglada — Una superficie reglada, en geometría, es la generada por una recta, denominada generatriz, al desplazarse sobre una curva o varias, denominadas directrices. En función de las características y condiciones particulares de estos elementos, recibe… …   Wikipedia Español

  • Límite de Lamb Dicke — En los experimentos con iones atrapados existe una región cuántica llamada el límite de Lamb Dicke. En esta región el acoplamiento (inducido por un campo electromagnético externo) entre los estados electrónicos internos (los estados del qubit) y… …   Wikipedia Español