Ésta podría ser una edición anterior y no la más reciente o aprobada. Ir a la versión actual.
¿Qué es?
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:
y sobre todo mediante la expresión «Si no B, entonces no A», o bien
|
(ver ejemplo). |
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.
Ver condición necesaria y suficiente.