Lección 5: Si, solo si, a menos que: condiciones necesarias y suficientes

«Si», «solo si», «si y solo si» y «a menos que» se traducen cada uno a una implicación que apunta en un sentido concreto. Esta lección intermedia, de unos quince minutos, usa una regla de embarque y una alarma para fijar las cuatro traducciones.

Nivel: intermedio15 min14 afirmaciones de esta lección fueron confirmadas por el comprobador exacto al compilar

Traduce «si», «solo si», «si y solo si» y «a menos que» en implicaciones con la dirección correcta, sin dar nunca por supuesta la recíproca.

El primer paso lee ticket -> board como «si tienes billete, puedes embarcar», FALSO en exactamente una situación, y lo muestra equivalente a NOT ticket OR board. El segundo paso contrasta «si» con «solo si»: ticket -> board hace suficiente el billete, board -> ticket lo hace necesario, y los dos difieren en dos filas. El tercer paso enuncia los dos sentidos a la vez, board <-> ticket, y demuestra que es igual a la conjunción de las dos implicaciones. El cuarto traduce «la alarma suena a menos que esté desarmada» como NOT disarmed -> rings, equivalente a disarmed OR rings.

Cada equivalencia de la lección es una afirmación verificada, que el motor vuelve a comprobar en cada construcción. Los ejercicios pasan un argumento por el comprobador de validez, piden la fórmula de «puedes embarcar solo si tienes billete», buscan una situación que respete «si» pero rompa «solo si», y predicen el valor de la alarma a partir de la fórmula de «a menos que».

Es la lección más útil para analistas y juristas, porque los requisitos se escriben exactamente con estas palabras. Las páginas de errores comunes sobre el recíproco y sobre condiciones necesarias frente a suficientes son la versión corta, y la comparativa entre implicación y bicondicional pone las tres fórmulas en una tabla.

Haz esta lección de forma interactiva en la app

Pasos

1. `->` significa «si… entonces»

ticket -> board afirma: si tienes billete, entonces puedes embarcar. Vale FALSE en una sola situación: hay billete, pero no se embarca. Equivale a NOT ticket OR board.

Sin billete, la afirmación nunca se incumple, pase lo que pase: la regla simplemente no dice nada de ese caso.

claim := ticket -> board · salidasame := NOT ticket OR board · salida

ticket: la persona tiene billete; board: la persona puede embarcar;

`->` significa «si… entonces»

#	ticket	board	claim	same
0	FFALSO	FFALSO	TVERDADERO	TVERDADERO
1	FFALSO	TVERDADERO	TVERDADERO	TVERDADERO
2	TVERDADERO	FFALSO	FFALSO	FFALSO
3	TVERDADERO	TVERDADERO	TVERDADERO	TVERDADERO

Encuentra la única asignación que hace que claim valga FALSE.

equivalent claim / same · se cumple

2. «Si» frente a «solo si»

«Puedes embarcar si tienes billete» hace que el billete sea suficiente: ticket -> board.

«Puedes embarcar solo si tienes billete» hace que el billete sea necesario: board -> ticket. Sin billete no se embarca, pero el billete por sí solo no garantiza el embarque (el control de pasaportes aún puede fallar).

Cada una es la recíproca de la otra, y no son equivalentes.

if_rule := ticket -> board · salidaonly_if_rule := board -> ticket · salida

ticket: la persona tiene billete; board: la persona puede embarcar;

«Si» frente a «solo si»

#	ticket	board	if_rule	only_if_rule
0	FFALSO	FFALSO	TVERDADERO	TVERDADERO
1	FFALSO	TVERDADERO	TVERDADERO	FFALSO
2	TVERDADERO	FFALSO	FFALSO	TVERDADERO
3	TVERDADERO	TVERDADERO	TVERDADERO	TVERDADERO

Ajusta ticket=FALSE, board=TRUE: if_rule se cumple, pero only_if_rule se incumple.

not-equivalent if_rule / only_if_rule · se cumple

3. «Si y solo si»: en ambos sentidos

«Puedes embarcar si y solo si tienes billete» afirma ambos sentidos a la vez: board <-> ticket, que equivale a (ticket -> board) AND (board -> ticket).

Ahora el billete es necesario y suficiente: siempre que la regla se cumple, las dos entradas tienen el mismo valor.

both_ways := (ticket -> board) AND (board -> ticket) · salidaiff_rule := board <-> ticket · salida

ticket: la persona tiene billete; board: la persona puede embarcar;

«Si y solo si»: en ambos sentidos

#	ticket	board	both_ways	iff_rule
0	FFALSO	FFALSO	TVERDADERO	TVERDADERO
1	FFALSO	TVERDADERO	FFALSO	FFALSO
2	TVERDADERO	FFALSO	FFALSO	FFALSO
3	TVERDADERO	TVERDADERO	TVERDADERO	TVERDADERO

Compara both_ways con iff_rule: el verificador demuestra que son equivalentes.

equivalent both_ways / iff_rule · se cumple

4. «A menos que» significa «si no»

«La alarma suena a menos que esté desactivada» dice: si no está desactivada, suena: NOT disarmed -> rings, que equivale a disarmed OR rings.

No dice nada de lo que ocurre cuando la alarma sí está desactivada. Leer «a menos que» como «exactamente cuando no» añade una segunda regla (disarmed -> NOT rings) que la frase no enuncia. Si también quieres decir eso, escríbelo explícitamente o confírmalo como supuesto.

claim := NOT disarmed -> rings · salidasame := disarmed OR rings · salida

disarmed: la alarma está desactivada; rings: la alarma suena;

«A menos que» significa «si no»

#	disarmed	rings	claim	same
0	FFALSO	FFALSO	FFALSO	FFALSO
1	FFALSO	TVERDADERO	TVERDADERO	TVERDADERO
2	TVERDADERO	FFALSO	TVERDADERO	TVERDADERO
3	TVERDADERO	TVERDADERO	TVERDADERO	TVERDADERO

Ajusta disarmed=TRUE, rings=TRUE: la afirmación sigue cumpliéndose.

equivalent claim / same · se cumple

Ejercicios

1. Premisas: «Puedes embarcar solo si tienes billete» (board -> ticket) y «Tienes billete» (ticket). Conclusión: board. ¿Es válido el argumento? (argument-validity)
2. Escribe «Puedes embarcar solo si tienes billete» como fórmula sobre board y ticket. (write-equivalent)
3. Encuentra una situación que cumpla la regla «si» pero incumpla la regla «solo si». (find-assignment)
4. «La alarma suena a menos que esté desactivada» se modela como claim := NOT disarmed -> rings. La alarma está desactivada y suena de todos modos. ¿claim vale TRUE o FALSE? (predict-output)

Haz esta lección de forma interactiva en la app

Preguntas

¿Por qué ticket -> board es VERDADERO cuando no hay billete?

Porque la regla no prometió nada sobre ese caso. Una implicación se rompe solo cuando su antecedente se cumple y su consecuente falla, y la tabla del primer paso muestra esa única fila FALSA.

¿«A menos que» es un AND o un OR?

Como afirmación, «A a menos que B» es NOT B -> A, que es B OR A. Como regla de admisión, los casos que pasan son A AND NOT B. El cuarto paso de la lección cubre la afirmación; la página del error sobre «a menos que» cubre la regla.

Relacionado

Leyes

• Eliminación de la implicación: A → B = A' + B
• Eliminación del bicondicional: A ↔ B = A·B + A'·B'

Herramientas

• Comprobador de equivalencia lógica: dos expresiones, veredicto exacto, contraejemplo

Ejercicios

• Traducir reglas en lenguaje natural a lógica

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
• Necesario frente a suficiente: «solo si» no es «si»
• A → B no da B → A
• «A menos que» en una regla: AND NOT, no OR
• Implicación frente a bicondicional
• Eliminación de la implicación: A → B = A' + B
• Lección 8: Argumentos y validez

Lecciones

• Lección 1: NOT, AND, OR: los operadores básicos
• Lección 2: XOR: O exclusivo y paridad
• Lección 3: Agrupación y precedencia
• Lección 4: Tablas de verdad

Generado a partir del motor de Tangibool, semántica tangibool-semantics/1, motor 1.0.0, compilación 2026-11-07. 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.