Definición y derivación de la fórmula de la probabilidad condicional