Supuesto (restricción del dominio): definición, ejemplo y equivalente en inglés

Un supuesto, o restricción del dominio, es una fórmula que se declara cierta en todo caso admisible de un modelo. Las filas que lo violan quedan fuera de las comprobaciones, y un resultado derivado con su ayuda se etiqueta como válido dentro de los supuestos.

Los supuestos recogen hechos del mundo que las entradas por sí solas no expresan: dos banderas que no pueden estar activas a la vez, un código que nunca ocurre, un estado que implica otro. No son premisas (pasos de un argumento) ni salidas (lo que se calcula). Un supuesto reduce la tabla de verdad a sus filas admisibles, así que la comprobación de tautología mira solo esas filas, y un mapa de Karnaugh puede tratar las celdas excluidas como indiferencias. Unos supuestos contradictorios no dejan ninguna fila admisible, y el motor marca todo resultado como vacuo.

El artefacto de esta página es allow = member AND NOT banned bajo el supuesto banned -> NOT member, descrito como «una persona vetada nunca es socia». La columna del supuesto se lee verdadera en tres filas y falsa en la fila 3, member = TRUE, banned = TRUE, el único caso excluido. El mapa marca esa celda como indiferencia y deriva member, 1 implicante primo, etiquetado como equivalente dentro de los supuestos; la anotación de alcance atribuye la indiferencia al supuesto k1. La comprobación de satisfacible se cumple con el testigo member = TRUE, banned = FALSE.

Los supuestos son donde las reglas de negocio esconden sus hechos más importantes, y donde las simplificaciones se vuelven incorrectas cuando los hechos cambian: member es una regla correcta solo mientras no puedan existir socios vetados. Quien revisa debería leer los supuestos de un modelo antes que sus salidas. El término se confunde con la premisa (parte de lo que se argumenta, no una restricción sobre los casos), con un valor por defecto y con una aserción en el código, que se comprueba en ejecución en lugar de usarse para excluir casos.

Ejemplo

allow := member AND NOT banned · salida

Supuestos: banned -> NOT member (A banned person is never a member: the membership is revoked.)

Comprobaciones exactas

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

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

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

¿Son consistentes los supuestos? Sí Asignación de ejemplo: member = F, banned = F · Exhaustively checked and solver cross-checked · 1 filas

Tabla de verdad (4 filas)

Supuesto (restricción del dominio): definición, ejemplo y equivalente en inglés
#	member	banned	allow	k1	Ámbito
0	FALSO	FALSO	FALSO	VERDADERO	en ámbito
1	FALSO	VERDADERO	FALSO	VERDADERO	en ámbito
2	VERDADERO	FALSO	VERDADERO	VERDADERO	en ámbito
3	VERDADERO	VERDADERO	FALSO	FALSO	excluida

Lectura en lenguaje claro

Principianteallow es verdadero exactamente cuando member es verdadero y banned es falso.
En todos los demás casos, allow es falso.
Sobre los operadores:
- AND (Y) solo es verdadero cuando todas sus partes son verdaderas.
- NOT (NO) invierte un valor: lo verdadero pasa a ser falso y lo falso, verdadero.

Intermedioallow es verdadero exactamente cuando member es verdadero y banned es falso.
En todos los demás casos, allow es falso.

Avanzadoallow es verdadero exactamente cuando member es verdadero y banned es falso [conjunción ∧].
En todos los demás casos, allow es falso.
Notación formal: member ∧ ¬banned

Mapa de Karnaugh

member \ banned

0m0

0m1

1m2

Xm3

celdas m2, m3member

member · Derived member. The groups use don't-care cells, so the result is only claimed within the assumptions. Equivalent on every assignment the assumptions allow (scoped: it was derived using the assumptions); no claim is made outside them.

1 cell excluded by the confirmed assumptions (k1) is marked don't-care. An expression derived with them is equivalent only within the assumptions.

El error habitual

Olvidar que un resultado derivado dentro de los supuestos solo se promete ahí. member y member AND NOT banned difieren en la fila excluida, y si alguna vez aparece un socio vetado, la regla simplificada lo admite. La etiqueta «equivalente dentro de los supuestos» es toda la afirmación, y no se afirma nada fuera de ellos.

Preguntas

¿Qué pasa si mis supuestos se contradicen entre sí?

Ninguna fila es admisible, así que toda comprobación se cumple sin razón. El motor informa de que el alcance es inconsistente y marca cada veredicto como vacuo en lugar de mostrar aprobados; la página del error sobre supuestos inconsistentes muestra esa salida, y el arreglo es reparar los supuestos.

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.