Sea "formula_1 la probabilidad de formula_2 dado formula_3.