Lokalny lemat Lovásza – twierdzenie w rachunku prawdopodobieństwa podające warunek wystarczający istnienia w danej przestrzeni probabilistycznej zdarzenia elementarnego, które jest niezależne względem ustalonej, skończonej liczby innych zdarzeń. Twierdzenie to jest uogólnieniem trywialnego warunku mówiącego, iż takie zdarzenie istnieje, gdy prawdopodobieństwo każdego z pozostałych rozważanych zdarzeń jest mniejsze od 1 i zdarzenia te są niezależne.
Twierdzenie to zostało udowodnione w 1975 roku przez Paula Erdősa i László LovászaP. Erdős, L. Lovász, Problems and results on 3-chromatic hypergraphs and some related questions, Colloq. Math. Soc. János Bolyai, Vol. 10, s. 609–627..
Twierdzenie Niech będą zdarzeniami pewnej przestrzeni probabilistycznej, będą podzbiorami zbioru a będą liczbami rzeczywistymi, dla Jeżeli jest niezależne od oraz
to