# Proving identities using the axioms of probability

## Homework Statement

If A and B are events, use the axioms of probability to show:

a) If $A \subset B$, then $P(B \cap A^{C}) = P(B) - P(A)$

b) $P(A \cup B) = P(A) + P(B) - P(A \cap B)$

## Homework Equations

Axiom 1: $P(x)\geq 0$

Axiom 2: $P(S) = 1$, where S is the state space.

Axiom 3: If $A_{1},A_{2},...,A_{n},...$ is any set of disjoint events, then:

$P(\bigcup_{i} A_{i})=\sum_{i} P(A_{i})$

## The Attempt at a Solution

It's easy to see why they are true using venn diagrams. In the first case, since A is a subset of B, the probability of the intersection of B and A complement is just the probability of B minus the probability of A. With the second one, you just want to add the P(A) and P(B) and then subtract the probability of the intersection so that you're not adding the probability of those events twice.

I just have no idea how to do this symbolically. This is the first time I've ever had to try and prove something in probability..

Last edited:

Ray Vickson
Homework Helper
Dearly Missed

## Homework Statement

If A and B are events, use the axioms of probability to show:

a) If $A \subset B$, then $P(B \cap A^{C}) = P(B) - P(A)[itex] b) [itex]P(A \cup B) = P(A) + P(B) - P(A \cap B)$

## Homework Equations

Axiom 1: $P(x)\geq 0$

Axiom 2: $P(S) = 1$, where S is the state space.

Axiom 3: If $A_{1},A_{2},...,A_{n},...$ is any set of disjoint events, then:

$P(\bigcup_{i} A_{i})=\sum_{i} P(A_{i})$

## The Attempt at a Solution

It's easy to see why they are true using venn diagrams. In the first case, since A is a subset of B, the probability of the intersection of B and A complement is just the probability of B minus the probability of A. With the second one, you just want to add the P(A) and P(B) and then subtract the probability of the intersection so that you're not adding the probability of those events twice.

I just have no idea how to do this symbolically. This is the first time I've ever had to try and prove something in probability..

For (a): ##B = (B \cap A^c) \cup \{\text{something else disjoint}\}##. What must be that "something else"? What do the basic probability axioms then give you?

I use axiom three and re-arrange the result to get the statement that I was trying to prove. Thanks :)