Masalah Monty Hall

Sebagai contoh, formula_3 menandakan proposisi "mobil di belakang pintu 1" dan formula_4 menandakan "pembawa acara membuka pintu 2 setelah pemain memilih pintu 1". Dengan mengindikasikan informasi latar dengan formula_5, asumsi dapat dinyatakan secara formal sebagai berikut: