2026-07-072026-07-07http://salesiana.dossiersoluciones.com/handle/123456789/112847A set of binary random variables indexed by a lattice torus is considered. Under a mixing hypothesis, the probability of any proposition belonging to the first order logic of colored graphs tends to 0 or 1, as the size of the lattice tends to infinity. For the particular case of the Ising model with bounded pair potential and surface potential tending to $-\infty$, the threshold functions of local propositions are computed, and sufficient conditions for the zero-one law are given.16 pages, 1 figure. Keywords: zero-one law, first-order logic, random field, weak dependence, Ising modelProbabilityLogic60F20text