Necesario frente a suficiente: «solo si» no es «si»
«A solo si B» hace de B una condición necesaria para A: A -> B. «A si B» hace de B una condición suficiente para A: B -> A. Las dos fórmulas difieren en dos filas, y la palabra «solo» es toda la diferencia.
La tabla compara A -> B (A solo si B) con B -> A (A si B). En la fila A = FALSO, B = VERDADERO la primera se cumple y la segunda falla: B ocurrió, A no, así que B no fue suficiente. En la fila A = VERDADERO, B = FALSO la primera falla: A ocurrió sin B, así que B no era necesaria. La comprobación de equivalencia informa de la primera fila como contraejemplo.
Una condición necesaria es la que debe cumplirse para que A se cumpla; no garantiza A. Una condición suficiente garantiza A; no tiene por qué ser la única vía. «Puedes votar solo si estás inscrito» hace necesaria la inscripción, y las personas inscritas pueden seguir sin poder votar por otras razones. «Tienes el descuento si eres socio» hace suficiente ser socio, y puede haber otras formas de conseguirlo. «Si y solo si» es las dos cosas, A <-> B.
En los requisitos, «solo si» es la expresión que más veces se escribe cuando se quería decir «si y solo si», y al revés. La lección sobre condiciones necesarias y suficientes ejercita las traducciones con el comprobador de argumentos, y la comparativa entre implicación y bicondicional pone las tres fórmulas en una tabla.
a_only_if_b := A -> B · salidaa_if_b := B -> A · salida Tabla de verdad
Difieren en esta fila: #1, #2
| # | A | B | a_only_if_b | a_if_b |
|---|---|---|---|---|
| 0 | FALSO | FALSO | VERDADERO | VERDADERO |
| 1 | FALSO | VERDADERO | VERDADERO | FALSO |
| 2 | VERDADERO | FALSO | FALSO | VERDADERO |
| 3 | VERDADERO | VERDADERO | VERDADERO | VERDADERO |
Lectura en lenguaje claro
Principiantea_only_if_b es verdadero exactamente cuando se cumple lo siguiente: si A es verdadero, entonces B es verdadero.
En todos los demás casos, a_only_if_b es falso.
Sobre los operadores:
- Una condición «si… entonces» solo restringe el caso en que se cumple su parte «si»: cuando la parte «si» es falsa, la condición se cumple sea cual sea la parte «entonces». No afirma lo recíproco.
Intermedioa_only_if_b es verdadero exactamente cuando se cumple lo siguiente: si A es verdadero, entonces B es verdadero.
En todos los demás casos, a_only_if_b es falso.
Avanzadoa_only_if_b es verdadero exactamente cuando se cumple lo siguiente: si A es verdadero, entonces B es verdadero [implicación material →].
En todos los demás casos, a_only_if_b es falso.
Notación formal: A → B
El error habitual
Traducir «A solo si B» como B -> A porque B se menciona en segundo lugar. La flecha apunta desde A hacia la condición que A implica: «A solo si B» dice que A no puede ocurrir sin B, así que es A -> B.
Preguntas
¿«A a menos que B» es una condición necesaria o suficiente?
Ninguna de las dos formulaciones: «A a menos que B» significa que A se cumple cuando B no, que es NOT B -> A, o en forma de regla A AND NOT B para los casos admitidos. La página del error sobre «a menos que» tiene la tabla.
¿Cómo digo que B es necesaria y suficiente?
A <-> B, «A si y solo si B». Se cumplen los dos sentidos, así que la fórmula es VERDADERA exactamente cuando A y B coinciden.
Relacionado
Ejemplos resueltos
Herramientas
- Comprobador de equivalencia lógica: dos expresiones, veredicto exacto, contraejemplo
- Generador de tablas de verdad: cualquier expresión booleana, hasta 12 variables, con columnas intermedias
Ejercicios
Véase también
- Implicación (→, condicional): tabla de verdad y por qué un antecedente falso la hace verdadera
- Bicondicional (↔, si y solo si): tabla de verdad y ejemplos
- A → B no da B → A
- «A menos que» en una regla: AND NOT, no OR
- Lección 5: Si, solo si, a menos que: condiciones necesarias y suficientes
- Implicación frente a bicondicional
- El error del recíproco: A → B no es B → A
Errores comunes
Generado a partir del motor de Tangibool, semántica tangibool-semantics/1, motor 1.0.0, compilación . Cada tabla, mapa, simplificación y veredicto de estas páginas lo calculó el motor de Tangibool al compilar el sitio, y cada afirmación la volvió a comprobar el mismo verificador exacto que usa la app. Los límites se indican donde aplican. © 2026 Foreranger LTD.