Fenómeno en lógica probabilística y teoría de modelos finitos: para un lenguaje lógico fijo y una distribución de probabilidad sobre estructuras finitas (por ejemplo uniforme sobre estructuras de n elementos o grafos G(n,p)), cada enunciado tiene una probabilidad límite cuando el tamaño crece, y la Ley Cero‑Uno afirma que ese límite es siempre 0 o 1.

Principio

La simetría y la indiscernibilidad de las grandes estructuras finitas bajo la distribución elegida obligan a que toda propiedad definible sea casi seguramente verdadera o casi seguramente falsa; la concentración combinatoria y las equivalencias locales finitas sustentan esta dicotomía.

Demostración

En el modelo aleatorio de Erdős–Rényi G(n,1/2) y para la lógica de primer orden, cualquier oración de primer orden tiene probabilidad límite 0 o 1 cuando n → ∞; las pruebas usan la localidad por rango de cuantificadores y axiomas de extensión para mostrar que, con alta probabilidad, los grafos grandes satisfacen las mismas restricciones locales finitas.

Aplicación incorrecta

Suponer que la Ley Cero‑Uno vale para lógicas más fuertes (por ejemplo la lógica de segundo orden) o para regímenes probabilísticos distintos (grafos dispersos, p = c/n) sin comprobar las hipótesis, lo que conduce a predicciones equivocadas sobre propiedades casi seguras.

Consecuencia

Cuando se aplica, simplifica el estudio asintótico de propiedades definibles a una clasificación binaria (casi seguro vs casi nunca), facilitando razonamientos sobre el caso típico y permitiendo transferir resultados límite de teoría de modelos a combinatoria probabilística.

Inversión

Una ley límite no trivial en la que algunas oraciones tienen probabilidades límites estrictamente entre 0 y 1 (ley de convergencia), o un régimen sin probabilidades límite; estos muestran mayor variabilidad asintótica.

Límite

Depende del lenguaje lógico (el primer orden suele satisfacer la ley bajo distribuciones clásicas), del modelo de probabilidad (denso vs disperso) y de la firma; muchos fragmentos o medidas alternativas quedan fuera del alcance.

Tensión semántica

Tensión entre ‘casi seguro’ (determinación en sentido de medida) y la variación estructural significativa: una propiedad de medida 1 puede aún describir la estructura típica, pero el colapso 0‑1 oculta frecuencias cuantitativas y tasas de convergencia.

Síntesis

La Ley Cero‑Uno expresa cómo, bajo modelos aleatorios que preservan simetría y recursos expresivos limitados, definibilidad y concentración probabilística convergen para que cada enunciado sea casi siempre verdadero o falso, mientras que las excepciones surgen si la lógica o la distribución amplían el poder de distinción.