document.write( "Question 1177190: If P(B) > 0,
\n" ); document.write( "(a) Show that P(A|B) + P(A^c|B) = 1.
\n" ); document.write( "(b) Show that in general the following two statements are false: (i) P(A|B)+ P(A|B^c) = 1,
\n" ); document.write( "(ii) P(A|B) + P(A^c|B^c) = 1\r
\n" ); document.write( "\n" ); document.write( "thank you :)
\n" ); document.write( "

Algebra.Com's Answer #850505 by CPhill(1987)\"\" \"About 
You can put this solution on YOUR website!
Let's break down this problem step-by-step.\r
\n" ); document.write( "\n" ); document.write( "**Given:**\r
\n" ); document.write( "\n" ); document.write( "* P(B) > 0\r
\n" ); document.write( "\n" ); document.write( "**(a) Show that P(A|B) + P(Aᶜ|B) = 1**\r
\n" ); document.write( "\n" ); document.write( "1. **Definition of Conditional Probability:**
\n" ); document.write( " * P(A|B) = P(A ∩ B) / P(B)
\n" ); document.write( " * P(Aᶜ|B) = P(Aᶜ ∩ B) / P(B)\r
\n" ); document.write( "\n" ); document.write( "2. **Sum the Conditional Probabilities:**
\n" ); document.write( " * P(A|B) + P(Aᶜ|B) = [P(A ∩ B) / P(B)] + [P(Aᶜ ∩ B) / P(B)]
\n" ); document.write( " * P(A|B) + P(Aᶜ|B) = [P(A ∩ B) + P(Aᶜ ∩ B)] / P(B)\r
\n" ); document.write( "\n" ); document.write( "3. **Recognize the Union:**
\n" ); document.write( " * Note that (A ∩ B) and (Aᶜ ∩ B) are mutually exclusive events (they cannot occur simultaneously).
\n" ); document.write( " * Also, their union is (A ∩ B) ∪ (Aᶜ ∩ B) = (A ∪ Aᶜ) ∩ B = S ∩ B = B, where S is the sample space.\r
\n" ); document.write( "\n" ); document.write( "4. **Simplify the Sum:**
\n" ); document.write( " * P(A ∩ B) + P(Aᶜ ∩ B) = P(B)\r
\n" ); document.write( "\n" ); document.write( "5. **Substitute and Conclude:**
\n" ); document.write( " * P(A|B) + P(Aᶜ|B) = P(B) / P(B) = 1\r
\n" ); document.write( "\n" ); document.write( "**(b) Show that in general the following two statements are false:**\r
\n" ); document.write( "\n" ); document.write( "**(i) P(A|B) + P(A|Bᶜ) = 1**\r
\n" ); document.write( "\n" ); document.write( "1. **Counterexample:**
\n" ); document.write( " * Let's consider a simple example.
\n" ); document.write( " * Suppose we have a fair coin toss.
\n" ); document.write( " * Let A be the event \"heads\" and B be the event \"the coin is fair.\"
\n" ); document.write( " * P(A) = 1/2, P(B) = 1.
\n" ); document.write( " * P(A|B) = 1/2 (probability of heads given the coin is fair).
\n" ); document.write( " * Bᶜ means \"the coin is not fair,\" which is a rare event.
\n" ); document.write( " * Let's say P(Bᶜ) = 0.01.
\n" ); document.write( " * Let's assume P(A|Bᶜ) = 0.8 (if the coin is not fair, it's more likely to be heads).
\n" ); document.write( " * P(A|B) + P(A|Bᶜ) = 1/2 + 0.8 = 1.3 ≠ 1.\r
\n" ); document.write( "\n" ); document.write( "2. **General Explanation:**
\n" ); document.write( " * P(A|B) and P(A|Bᶜ) are conditional probabilities based on different events (B and Bᶜ).
\n" ); document.write( " * There is no reason to expect that the sum of these probabilities will always be 1.
\n" ); document.write( " * They are not complementary events.\r
\n" ); document.write( "\n" ); document.write( "**(ii) P(A|B) + P(Aᶜ|Bᶜ) = 1**\r
\n" ); document.write( "\n" ); document.write( "1. **Counterexample:**
\n" ); document.write( " * Using the same example as above.
\n" ); document.write( " * P(A|B) = 1/2
\n" ); document.write( " * P(Aᶜ|Bᶜ) = P(tails|unfair)
\n" ); document.write( " * Let's assume P(Aᶜ|Bᶜ) = 0.2 (if the coin is unfair, it's less likely to be tails).
\n" ); document.write( " * P(A|B) + P(Aᶜ|Bᶜ) = 1/2 + 0.2 = 0.7 ≠ 1.\r
\n" ); document.write( "\n" ); document.write( "2. **General Explanation:**
\n" ); document.write( " * P(A|B) and P(Aᶜ|Bᶜ) are conditional probabilities involving different events (B and Bᶜ) and different outcomes (A and Aᶜ).
\n" ); document.write( " * There is no general relationship that would guarantee their sum to be 1.
\n" ); document.write( " * These events are not complementary.\r
\n" ); document.write( "\n" ); document.write( "**Conclusion:**\r
\n" ); document.write( "\n" ); document.write( "* **(a)** P(A|B) + P(Aᶜ|B) = 1 is always true when P(B) > 0.
\n" ); document.write( "* **(b)** The statements P(A|B) + P(A|Bᶜ) = 1 and P(A|B) + P(Aᶜ|Bᶜ) = 1 are generally false.
\n" ); document.write( "
\n" ); document.write( "
\n" );