Ley Cero-Uno

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.