Question about probability of union

AI Thread Summary
The discussion centers on the probability of the union of two events involving positive random variables x1 and x2. The question posed is whether P(A U B) can be equated to P(x1 + x2 > k). Participants clarify that P(A U B) represents the probability that either event A or event B occurs, but adding inequalities does not yield the desired result. The consensus is that the proposed equation does not hold true, and the reasoning behind this is that inequalities cannot be simply combined in this manner. The conversation concludes with an acknowledgment of the misunderstanding regarding the addition of inequalities.
St41n
Messages
32
Reaction score
0
If x1, x2 positive random variables and we have the following two events:

A={x1 > δ}
B={x2> k-δ}

where 0<δ<k

then is it true that:

P(A U B) = P( x1+x2 > δ+(k-δ)=k ) ?

If true can you explain why is that?
Thank you
 
Last edited:
Physics news on Phys.org
Hi St41n! :wink:

No, P(A U B) means the probability that either A or B is true.

So P(A U B) = P(x1 > 1 or x2 > 1). :smile:
 
yes i know this is the definition of P(A U B), but does it imply anything about the sums when we have inequalities?

Also, I made some changes to my original post. Can you take a look again?
 
St41n said:
… when we have inequalities?

You can't add inequalities like that, it just doesn't work.
Also, I made some changes to my original post. Can you take a look again?

Sorry, still doesn't work.
 
Ok I see, thanks
 
I'm taking a look at intuitionistic propositional logic (IPL). Basically it exclude Double Negation Elimination (DNE) from the set of axiom schemas replacing it with Ex falso quodlibet: ⊥ → p for any proposition p (including both atomic and composite propositions). In IPL, for instance, the Law of Excluded Middle (LEM) p ∨ ¬p is no longer a theorem. My question: aside from the logic formal perspective, is IPL supposed to model/address some specific "kind of world" ? Thanks.
I was reading a Bachelor thesis on Peano Arithmetic (PA). PA has the following axioms (not including the induction schema): $$\begin{align} & (A1) ~~~~ \forall x \neg (x + 1 = 0) \nonumber \\ & (A2) ~~~~ \forall xy (x + 1 =y + 1 \to x = y) \nonumber \\ & (A3) ~~~~ \forall x (x + 0 = x) \nonumber \\ & (A4) ~~~~ \forall xy (x + (y +1) = (x + y ) + 1) \nonumber \\ & (A5) ~~~~ \forall x (x \cdot 0 = 0) \nonumber \\ & (A6) ~~~~ \forall xy (x \cdot (y + 1) = (x \cdot y) + x) \nonumber...
Back
Top