Variantes de flechas: => y <=> frente a → y ↔, qué significa cada una
-> y → son la implicación; <-> y ↔ son el bicondicional. Las flechas gruesas => y <=> se rechazan, porque significan implicación en algunas herramientas, una función en JavaScript y un paso de reescritura en otras.
Los dos diagnósticos se registran abajo: => no es un operador admitido, usa -> para la implicación; <=> no es un operador admitido, usa <-> para un bicondicional. Las correcciones son de un carácter cada una. El motor imprime las flechas finas en las notaciones de palabras y de programación y las flechas Unicode → y ↔ en las notaciones matemática y de álgebra, y acepta las dos en la entrada.
Los significados de la flecha gruesa en otros sitios son la razón: en JavaScript y C# => introduce una función; en algunos asistentes de demostración y en SMT-LIB es la implicación; en reescritura marca un paso; en Perl y PHP separa claves y valores. <=> es un operador de comparación en Perl, Ruby y C++. Leer cualquiera de las dos como conectiva lógica sería correcto para algunas fuentes e incorrecto en silencio para otras.
Más allá de la grafía, recuerda qué significan las flechas. A -> B es FALSA solo cuando A es VERDADERO y B es FALSO, y las cadenas asocian a la derecha. A <-> B es VERDADERA cuando A y B coinciden, y una cadena de <-> se rechaza hasta que se pone entre paréntesis. Las páginas de la implicación y del bicondicional tienen las tablas, y la página de comparativa las pone lado a lado.
Lo que dice el analizador
| Escribiste | Código | Por qué se rechaza | Corrección ofrecida |
|---|---|---|---|
| A => B | unsupported-operator | `=>` is not a supported operator. Use `->` for implication. | Replace with -> |
| A <=> B | unsupported-operator | `<=>` is not a supported operator. Use `<->` for a biconditional. | Replace with <-> |
El error habitual
Pegar A => B de SMT-LIB o de un guion de demostración y recibir un rechazo. La intención está clara y la corrección es ->; el rechazo existe para que x => x + 1 de JavaScript no se lea como una implicación.
Preguntas
¿Funciona ⇒ (el símbolo de doble flecha)?
No, solo -> y → para la implicación y <-> y ↔ para el bicondicional. Las flechas Unicode de doble trazo no se aceptan, por la misma razón que =>.
¿-> es lo mismo que → en el motor?
Sí: son dos grafías de un mismo operador. Cuál se imprime depende de la notación que selecciones.
Relacionado
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
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
- Símbolos y notaciones de la lógica booleana: NOT, AND, OR en palabras, código y matemáticas
- Lógica booleana en SMT-LIB: declare-const, assert y check-sat con Z3
- Operadores lógicos en JavaScript: &&, ||, !, truthiness y precedencia
- Implicación frente a bicondicional
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.