Analyzing the Conditional Probability Bound
Let us begin with Option (a). We are asked about the conditional probability P(A∣B).
By definition, this is the ratio of the intersection to the probability of the condition:
To find a lower bound for this, we need to understand the minimum possible size of the intersection A∩B. We turn to the Addition Theorem:
The union of two events A∪B is a subset of the sample space S, so its probability can never exceed 1. Thus, we have the inequality:
Rearranging this, we find the fundamental inequality:
When we substitute this back into our conditional probability formula, we obtain:
This confirms that Option (a) is a universal truth.
The Set Difference Identity
Next, let us examine Option (b). It claims that P(A∩Bˉ)=P(A)−P(A∩B) does not hold.
A∩Bˉ represents the region where A occurs but B does not—the "Only A" region. If you visualize a Venn diagram, the entire circle A is composed of two disjoint pieces: the intersection A∩B and the "Only A" region A∩Bˉ.
Therefore, the following identity is rock-solid:
Since the statement in Option (b) claims this identity does not hold, the statement itself is incorrect.
The Independence Trap
Now, we arrive at Option (c). We are given that A and B are independent, which is a powerful condition.
If A and B are independent, then their complements Aˉ and Bˉ are also independent. This implies:
By De Morgan's Law, we know that A∪B=Aˉ∩Bˉ. Since the probability of an event is 1 minus the probability of its complement, we have:
P(A∪B)=1−P(A∪B)=1−P(Aˉ∩Bˉ)
Substituting our independence result, we get:
This confirms that Option (c) is correct.
The Disjoint Delusion
Finally, Option (d) suggests the same formula works for disjoint events. Disjoint events imply that P(A∩B)=0.
In this case, the addition rule simplifies to:
However, our formula from Option (c) expands to:
P(A∪B)=P(A)+P(B)−P(A)P(B)
For these to be equal, we would require P(A)P(B)=0. Since disjoint events do not necessitate this condition, Option (d) is false.
Remember, independence and disjointness are two very different worlds. Never confuse them.