Ésta podría ser una edición anterior y no la más reciente o aprobada. Ir a la versión actual.

No se ha añadido ninguna twiki todavía.

La condición que hace suponer que, si no se produce determinado acontecimiento, no es posible que se produzca otro determinado acontecimiento. Según la lógica, B es condición necesaria de A cuando, siempre que A es verdadero debe serlo también B; o bien, si B no es verdadero tampoco puede serlo A.Esta necesidad la expresalógicamente el condicional: «Si A, entonces B», o [math]A \rightarrow{B}[/math], y sobre todo mediante la expresión «Si no B, entonces no A», o bien [math]¬B \rightarrow{¬A}[/math].


Ver ejemplo ↓

«El oxígeno (B) es necesariopara la vida (A)» significa que sin oxígeno no hay vida, o bien que [math]¬B \rightarrow{¬A}[/math], lo cual equivale a [math]A \rightarrow{B}[/math].

No es condición suficiente para vivir, porque se requieren, además, otras cosas. Asimismo, «ser un felino es una condición necesaria, o una necesidad, para todo gato», mientras que no basta con ser felino para ser un gato, puesto que se requieren otras condiciones. «A menos que estudies cada día varias horas, no harás una buena carrera», equivale a «si no estudias cada día varias horas no vas a hacer una buena carrera», igual como «sólo si estudias cada días varias horas vas a hacer una buena carrera». Aquello a que se refieren las expresiones «a menos que» y «sólo si» son condición necesaria de hacer una buena carrera.

La suma de condiciones necesarias de algo es igual a su condición suficiente y una única condición necesaria es también suficiente. Las expresiones «a menos que...» y «sólo si...» formulan una condición necesaria, por lo que, en un condicional, deben escribirse como consecuente.