## [Ley Cero-Uno](/es/node/59976) Definición 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 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 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 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 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 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 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 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 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.