Modo decisión frente a modo argumento: definición, ejemplo y equivalente en inglés
El modo decisión es aquel en que un modelo tiene salidas con nombre, cada una una fórmula sobre las entradas, y las comprobaciones preguntan por esas salidas. El modo argumento tiene en cambio premisas y una conclusión, y pregunta si la conclusión se sigue.
Los dos modos son dos lecturas de la misma tabla de verdad. En modo decisión cada fórmula es una regla, allow, discount, alarm, calculada en cada fila, y las preguntas naturales son si puede dispararse, si se dispara siempre, si dos reglas coinciden y de qué entradas depende. En modo argumento las fórmulas son premisas más una conclusión, y la única pregunta es la validez: si hay una fila en que todas las premisas se cumplen y la conclusión falla. Los supuestos pertenecen al modo decisión, las premisas al modo argumento.
El artefacto de esta página es un modelo de decisión con una salida, allow = (member OR invited) AND NOT banned. Su tabla es verdadera en las filas 2, 4 y 6. Las comprobaciones son las de este modo: la de tautología se viola con el contraejemplo member = FALSE, invited = FALSE, banned = FALSE, la regla no siempre concede la entrada; la de contradicción se viola y la de satisfacible se cumple, ambas con el testigo member = FALSE, invited = TRUE, banned = FALSE, puede concederla. En modo argumento la fórmula necesitaría una conclusión que probar.
El modo decisión es el modo de las reglas de negocio, las políticas de acceso, las banderas de funcionalidad y los circuitos, donde las salidas son lo importante; el modo argumento es para ejercicios de lógica y para políticas escritas como «de estos hechos se sigue que». Elegir mal es inofensivo pero confuso, porque una premisa y una salida se comprueban de manera distinta. El término se confunde con la tabla de decisión (una disposición, no un modo) y con la decisión de los criterios de cobertura, que es una expresión booleana del código.
Ejemplo
allow := (member OR invited) AND NOT banned · salida
Comprobaciones exactas
Tabla de verdad (8 filas)
| # | member | invited | banned | allow |
|---|---|---|---|---|
| 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 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 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 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 es falso.
Avanzadoallow 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 es falso.
Notación formal: (member ∨ invited) ∧ ¬banned
El error habitual
Poner una conclusión en modo decisión como una salida más. El motor informa entonces de su tautología y su satisfacibilidad, no de si se sigue de las demás. Para probar que la conclusión se sigue hay que cambiar a modo argumento, donde las premisas restringen qué filas cuentan.
Preguntas
¿Puede un modelo tener varias salidas?
Sí, en modo decisión: el sumador completo de la página de lógica combinacional tiene sum y carry_out sobre las mismas entradas, cada una con su columna y sus comprobaciones. El modo argumento tiene exactamente una conclusión.
Relacionado
Véase también
- Argumento válido: definición, ejemplo y equivalente en inglés
- Supuesto (restricción del dominio): definición, ejemplo y equivalente en inglés
- Premisa: definición, ejemplo y equivalente en inglés
- Tabla de decisión: definición, ejemplo y equivalente en inglés
- Regla de entrada: (socio OR invitado) AND NOT vetado, comprobada de todas las formas
- Comprobador de validez de argumentos: premisas, conclusión, contraejemplo o demostración
Glosario
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.