Variable (entrada) y significado del glosario: definición, ejemplo y equivalente en inglés

Q: ¿Por qué avisa el motor de nombres confundibles?

Porque invited e invite, o banned y baned, se confunden con facilidad al escribir una fórmula, y una fórmula que usa el equivocado es un error silencioso. La página del error sobre nombres confundibles muestra el aviso.

Una variable es una entrada de un modelo, un nombre que toma el valor TRUE o FALSE en cada fila. Su descripción de glosario dice con palabras qué significa TRUE, para que la fórmula, la tabla y la lectura hablen del mismo hecho.

Una variable booleana es un marcador para una proposición. En el motor cada entrada tiene una identidad estable, conservada entre ediciones, y puede llevar una descripción de glosario en cada idioma. La descripción es la proposición que la variable representa, escrita de modo que TRUE sea el caso descrito: banned significa «la persona está vetada», no «el estado de veto de la persona». Las entradas se emparejan entre versiones por identidad, nunca por nombre, así que renombrar una entrada no rompe una prueba ni una comparación. El motor avisa cuando dos entradas tienen nombres fáciles de confundir.

El artefacto de esta página es allow_entry = (member OR invited) AND NOT banned con sus tres entradas descritas: member como «la persona es socia», invited como «la persona tiene invitación» y banned como «la persona está vetada». Con ellas la lectura de la regla es una frase que cualquiera puede comprobar: se permite la entrada cuando socia o invitada es verdadera y vetada es falsa. La tabla es verdadera en las filas 2, 4 y 6, y la comprobación de satisfacible se cumple con el testigo member = FALSE, invited = TRUE, banned = FALSE, una invitada no socia.

Las variables con descripción son lo que permite que una regla la revisen quienes son sus dueños y no solo quienes la programaron, y son la fuente de las palabras en las exportaciones y las lecturas. Los nombres solos engañan: active, enabled y valid significan cosas distintas en sistemas distintos. El término se confunde con una salida (que se calcula, no se da), con una variable de programa (que guarda cualquier tipo y cambia con el tiempo) y con una constante.

Ejemplo

allow_entry := (member OR invited) AND NOT banned · salida

Comprobaciones exactas

¿Siempre verdadera (tautología)? No Contraejemplo: member = F, invited = F, banned = F · Exhaustively checked and solver cross-checked · 1 filas

¿Siempre falsa (contradicción)? No Contraejemplo: member = F, invited = V, banned = F · Exhaustively checked and solver cross-checked · 3 filas

¿Puede ser verdadera? Sí Asignación de ejemplo: member = F, invited = V, banned = F · Exhaustively checked and solver cross-checked · 3 filas

Tabla de verdad (8 filas)

Variable (entrada) y significado del glosario: definición, ejemplo y equivalente en inglés
#	member	invited	banned	allow_entry
0	FALSO	FALSO	FALSO	FALSO
1	FALSO	FALSO	VERDADERO	FALSO
2	FALSO	VERDADERO	FALSO	VERDADERO
3	FALSO	VERDADERO	VERDADERO	FALSO
4	VERDADERO	FALSO	FALSO	VERDADERO
5	VERDADERO	FALSO	VERDADERO	FALSO
6	VERDADERO	VERDADERO	FALSO	VERDADERO
7	VERDADERO	VERDADERO	VERDADERO	FALSO

Lectura en lenguaje claro

Principianteallow_entry es verdadero exactamente cuando se cumplen las dos condiciones siguientes:
1. al menos uno entre member e invited es verdadero (pueden serlo ambos)
2. banned es falso
En todos los demás casos, allow_entry es falso.
Sobre los operadores:
- AND (Y) solo es verdadero cuando todas sus partes son verdaderas.
- OR (O) es inclusivo: es verdadero en cuanto al menos una parte es verdadera, también cuando lo son varias.
- NOT (NO) invierte un valor: lo verdadero pasa a ser falso y lo falso, verdadero.

Intermedioallow_entry es verdadero exactamente cuando se cumplen las dos condiciones siguientes:
1. al menos uno entre member e invited es verdadero (pueden serlo ambos)
2. banned es falso
En todos los demás casos, allow_entry es falso.

Avanzadoallow_entry es verdadero exactamente cuando se cumplen las dos condiciones siguientes [conjunción ∧]:
1. al menos uno entre member e invited es verdadero (pueden serlo ambos) [disyunción inclusiva ∨]
2. banned es falso [negación ¬]
En todos los demás casos, allow_entry es falso.
Notación formal: (member ∨ invited) ∧ ¬banned

El error habitual

Describir una variable de un modo que deja abierta la polaridad. «Estado de socio» no dice qué valor es TRUE; «la persona es socia» sí. Una descripción que encaja con los dos valores hace ambigua la lectura y discutibles las expectativas de las pruebas.

Preguntas

¿Qué pasa con un caso de prueba si renombro una entrada?

Nada. La prueba se refiere a la entrada por su identidad estable, no por su nombre, así que el caso sigue coincidiendo. Solo quitar la entrada, o añadir una nueva que la prueba no menciona, cambia lo que la prueba significa.

¿Por qué avisa el motor de nombres confundibles?

Porque invited e invite, o banned y baned, se confunden con facilidad al escribir una fórmula, y una fórmula que usa el equivocado es un error silencioso. La página del error sobre nombres confundibles muestra el aviso.

Relacionado

Véase también

Glosario

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.