probabilità condizionata

In teoria della probabilità la probabilità condizionata di un evento rispetto a un evento è la probabilità che si verifichi sapendo che è verificato. Questa probabilità, indicata o , esprime una "correzione" delle aspettative per dettata dall'osservazione di Poiché, come si vedrà nella successiva definizione, compare al denominatore, ha senso solo se ha una probabilità non nulla di verificarsi. È utile osservare che la notazione con il simbolo "barra verticale" è comune con la definizione del connettivo logico NAND.