parent
Proven P4: p(A) <= p(B) P4: p(A U B) <= p(A) + p(B) p4: p(A U B) = P(A)+p(B)-p(A n B) P6: p(A|B) = p(A n B) / p(B)