Paradoks gagak

dimana formula_21 adalah probabilitas awal bahwa formula_17 memiliki predikat formula_18; formula_24 adalah jumlah benda yang telah diperiksa (menurut bukti formula_19 yang ada); formula_26 adalah jumlah objek yang diperiksa yang ternyata memiliki predikat formula_18, dan formula_28 adalah konstanta yang mengukur ketahanan terhadap generalisasi.