La probabilidad del evento seguro, formula_3, es igual a 1, denotado simbólicamente como