Consequences of axioms

   Here are some useful formulas that are easy to check with the help of the Venn diagrams . For all events A, B

If then

If are pairwise disjoint   events, then