5 Байес формуласы Байес формуласы ықтималдықтарды көбейту теоремасы мен толық ықтималдық формуласының салдары болып табылады.
Теорема. Егер А оқиғасы толық топ құратын, бірікпейтін оқиғаларының (жорулардың) біреуімен бірге пайда болатын болса, онда әрбір жорудың шартты ықтималдығы үшін
теңдігі орындалады.
Дәлелдеу. Ықтималдықтарды көбейту формуласы бойынша
бұл тендіктен
Енді осы тендіктің оң жағында тұрған бөлшектің алымына ықтималдықтарды көбейту, ал бөліміне толық ықтималдықтың формуласын қолдансақ онда мына қатынас шығады
(1)
бізге дәлелдеу керегі осы еді.
формуланы Байес формуласы дейді.
Байес Томас (1702-1761)- ағылшын математигі, Лондондағы
