Saltar al contenido
EN ES
Iniciar sesión Abrir la app

Expansión de una referencia a una salida con nombre (Tangibool)

La expansión de una referencia sustituye una salida con nombre usada dentro de otra fórmula por su definición, de modo que eligible AND C con eligible := A OR B se convierte en (A OR B) AND C.

Nombre en el motor: Expansión de una referenciaFR: Expansion d'une référenceDE: Expansion eines Verweises

Una salida con nombre usada en una fórmula se sustituye por su definición.

Un modelo de Tangibool puede definir varias salidas y dejar que una se refiera a otra por su nombre. Las comprobaciones, la simplificación y las exportaciones trabajan sobre la forma expandida, y la expansión se registra como paso con el nombre de esta ley. La identidad de esta página se demuestra como cualquier otra: el motor construye un modelo con la definición y las dos fórmulas y las comprueba equivalentes en todas las filas.

La expansión de referencias es lo que permite escribir una regla larga como unas pocas partes con nombre y legibles sin cambiar lo que calcula, y es la razón de que renombrar una definición actualice cada referencia: las referencias se guardan por identidad, no por texto. La página es una referencia interna de paso y no una ley que los estudiantes busquen, así que no se indexa.

Enunciado

eligible := A OR Beligible AND C = (A OR B) AND C

Demostración por tabla de verdad: eligible := A OR B

eligible := A OR B
#ABCeligiblelhsrhs
0FALSOFALSOFALSOFALSOFALSOFALSO
1FALSOFALSOVERDADEROFALSOFALSOFALSO
2FALSOVERDADEROFALSOVERDADEROFALSOFALSO
3FALSOVERDADEROVERDADEROVERDADEROVERDADEROVERDADERO
4VERDADEROFALSOFALSOVERDADEROFALSOFALSO
5VERDADEROFALSOVERDADEROVERDADEROVERDADEROVERDADERO
6VERDADEROVERDADEROFALSOVERDADEROFALSOFALSO
7VERDADEROVERDADEROVERDADEROVERDADEROVERDADEROVERDADERO
lhs ≡ rhs se cumple · lhs and rhs agree on every assignment. · Exhaustively checked and solver cross-checked · 8 filas

La misma ley en cuatro notaciones

Palabraseligible AND C
Programacióneligible && C
Matemáticaeligible ∧ C
Álgebraeligible·C
LaTeX\mathit{eligible} \cdot C
Palabras(A OR B) AND C
Programación(A || B) && C
Matemática(A ∨ B) ∧ C
Álgebra(A + B)·C
LaTeX\left(A + B\right) \cdot C
eligible := A OR B eligible := A OR B A B C eligiblePRIMARY lhs rhs OR AND AND OR
eligible := A OR B eligible := A OR B A B C eligiblePRIMARY lhs rhs OR AND AND OR

Demostración por tabla de verdad: eligible AND C = (A OR B) AND C

eligible AND C = (A OR B) AND C
#ABCeligiblelhsrhs
0FALSOFALSOFALSOFALSOFALSOFALSO
1FALSOFALSOVERDADEROFALSOFALSOFALSO
2FALSOVERDADEROFALSOVERDADEROFALSOFALSO
3FALSOVERDADEROVERDADEROVERDADEROVERDADEROVERDADERO
4VERDADEROFALSOFALSOVERDADEROFALSOFALSO
5VERDADEROFALSOVERDADEROVERDADEROVERDADEROVERDADERO
6VERDADEROVERDADEROFALSOVERDADEROFALSOFALSO
7VERDADEROVERDADEROVERDADEROVERDADEROVERDADEROVERDADERO
lhs ≡ rhs se cumple · lhs and rhs agree on every assignment. · Exhaustively checked and solver cross-checked · 8 filas

La misma ley en cuatro notaciones

Palabraseligible AND C
Programacióneligible && C
Matemáticaeligible ∧ C
Álgebraeligible·C
LaTeX\mathit{eligible} \cdot C
Palabras(A OR B) AND C
Programación(A || B) && C
Matemática(A ∨ B) ∧ C
Álgebra(A + B)·C
LaTeX\left(A + B\right) \cdot C
eligible AND C = (A OR B) AND C eligible AND C = (A OR B) AND C A B C eligiblePRIMARY lhs rhs OR AND AND OR
eligible AND C = (A OR B) AND C eligible AND C = (A OR B) AND C A B C eligiblePRIMARY lhs rhs OR AND AND OR

Preguntas

¿Las referencias pueden formar un ciclo?

No. El motor rechaza una definición que se refiere a sí misma directamente o a través de otras salidas (el código de validación es «cycle»), porque un modelo así no tiene ningún valor que calcular.

Relacionado

Herramientas

Véase también

Leyes

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.