B What is Conditional Probability and its Properties?

AI Thread Summary
Conditional probability, denoted as P(E|F), quantifies the likelihood of event E occurring given that event F has occurred, calculated using the formula P(E|F) = (E∩F)/P(F) when P(F) is not zero. Key properties include that the probability of the sample space given event F is 1, and the addition rule for conditional probabilities, which states P((A∪B)|F) = P(A|F) + P(B|F) - P((A∩B)|F). Additionally, the complement rule indicates that P(E'|F) equals 1 minus P(E|F). Understanding these principles is essential for applying conditional probability effectively in various scenarios. The discussion also suggests using Venn diagrams for visual representation and proof of related probability equations.
CaptainX
Messages
7
Reaction score
0
TL;DR Summary
1. Definition
2. Properties of conditional probability
1. Definition
If E and F are two events associated with the same sample space of a random experment, the conditional probability of the event E given that F has occurred, i.e. P(E|F) is given by
P(E|F) = (E∩F)/P(F) (P≠0)

2. Properties of conditional probability
Let E and F be events of sample space S of an experiment, then we have

2.1 Property 1
P(S|F) = P(F|F) = 1
we know that
P(S|F) = P(S∩F)/P(F) = P(F)/P(F) =1
similiarly, P(F|F)= 1
P(F|F) = P(S|F) = 1

2.2 Property 2
If A and B are any two events of a sample space S and F is an event of S s.t. P(F) ≠ 0, then
P((A∪B)|F) = P(A|F) + P(B|F) -P((A∩B)|F)
In particular, if A and B are disjoint events, then
P((A∪B)|F)=P(A|F)+P(B|F)

2.3 Property 3
P(E'|F) = 1 - P(E|F)
Since S=E∪E' and E and E' are disjoint events.
 
Physics news on Phys.org
What is the question?
 
How to prove P(A∪B)=P(A∩B)+P(A∩B')+P(A'∩B)
 
CaptainX said:
How to prove P(A∪B)=P(A∩B)+P(A∩B')+P(A'∩B)
Try to draw a Venn diagram.
 
  • Like
Likes Klystron and PeroK
I was reading documentation about the soundness and completeness of logic formal systems. Consider the following $$\vdash_S \phi$$ where ##S## is the proof-system making part the formal system and ##\phi## is a wff (well formed formula) of the formal language. Note the blank on left of the turnstile symbol ##\vdash_S##, as far as I can tell it actually represents the empty set. So what does it mean ? I guess it actually means ##\phi## is a theorem of the formal system, i.e. there is a...
Back
Top