pilnõsios tikimýbės fòrmulė, tikimybių sąryšis, leidžiantis apskaičiuoti atsitiktinio įvykio nesąlyginę tikimybę naudojant to įvykio sąlygines tikimybes. Tarkime, (Ω, F, P) yra tikimybinė erdvė, sudaryta iš elementariųjų įvykių aibės Ω, tam tikros Ω poaibių klasės F, kurios elementai vadinami atsitiktiniais įvykiais, ir tikimybės P, apibrėžtos F klasės elementams. Tegul A1, ..., An yra tokie F elementai, kad aibių Ai ir Aj sankirta yra tuščia bet kuriai skirtingų indeksų porai i ir j, aibių A1, ..., An sąjunga yra Ω ir P(Ai) > 0 visiems indeksams i = 1, ..., n. Tada bet kurio klasės F elemento A besąlygė tikimybė P(A) = ΣiP(Ai)P(A|Ai); čia P(A|Ai) yra aibės A sąlyginės tikimybės atžvilgiu Ai. Pilnosios tikimybės formulė teisinga ir tuo atveju, kai aibių A1, A2, … seka begalinė.
1751