Q.3.23

Question

 Let A and B be events having positive probability. State whether each of the following statements is (I) necessarily true, (ii) necessarily false, or (iii) possibly true.

(a) If A and B are mutually exclusive, then they are independent.

(b) If A and B are independent, then they are mutually exclusive.

(c) P(A)=P(B)=.6, and A and B are mutually exclusive.

(d) P(A)=P(B)=.6, and A and B are independent.

Step-by-Step Solution

Verified
Answer

a)A and B are mutually exclusive, then they are independent is Necessarily false

b) Necessarily false - use the characterization of independence with probability of intersection

c)  calculate P(AB)Necessarily false

d)  P(A)=P(B)=.6 A and B are independent is Possible

1Step1: A and B are mutually exclusive, then they are independent (part a)

P(A)>0,P(B)>0

a)AB=A and B are independent

Necessarily false

Because

A and B are independent P(AB)=P(A)P(B)

In this case

AB=P(AB)=0P(A)P(B)>0

As a result, A and B are not necessarily independent.


2Step2: A and B are independent, then they are mutually exclusive (part b)

b) If A and B are independent AB=

Necessarily false

Because

A and B are independent P(AB)=P(A)P(B)

In this case

A and B are independent P(AB)=P(A)P(B)>0AB

As a result, A and B have a non-empty intersection.


3Step3:   A B = ∅  and  P ( A ) = P ( B ) = 0.6 (part c)

 c) AB= and P(A)=P(B)=0.6

Necessarily false

If AB= then:

P(AB)=P(A)+P(B)

This fact is stated in the third probability axiom.

Incorporating the second assumption would imply:

P(AB)=0.6+0.6=1.2

And it is well knownAB that is an event, and the probability of any event should be considered<1

That's why there's a contradiction here.

d) A and B independent and P(A)=P(B)=0.6

4Step4: Find A and B independent (part d)

Possible - this is demonstrated by an example in which the statement is true.

Choose two numbers at random in{1,2,3,4,5}, independently.

A - the first number is 1,2 or 3 .

B - the second number is 1,2 or 3 .

Then

P(A)=P(B)=0.6

and 

A and B are separate entities.