What is the difference between P(A) and O(A)?

AI Thread Summary
P(A) represents the probability of event A occurring, while O(A) denotes the odds of event A occurring compared to it not occurring. The discussion highlights confusion around the notation O(A), particularly in relation to its definition in the context of Bayes' rule. It clarifies that O(A) is not explicitly defined in many resources, leading to misunderstandings. Ultimately, the distinction is that P(A) is based on the total outcomes, whereas O(A) compares the occurrence of A to its non-occurrence. Understanding these terms is crucial for grasping concepts in probability theory.
CaseyJRichard
Messages
4
Reaction score
0
In probability, P(A) is the probability of event A occurring.

What is O(A), in the same context? I've tried looking this up, but I can't find the definition/explanation of this notation anywhere.

For an example, see the definition of "Bayes' rule".
 
Physics news on Phys.org
Do you mean the definition at Wikipedia? It defines O in the fourth equation under "Derivation".
 
It's not really defining O there, is it? It's defining an equation that uses O, sure, but it still doesn't explain what the notation "O" represents. But maybe I just don't understand the equation.

Regardless, the answer I was looking for is:

O(A) is the "Odds" of event A occurring (versus event A not occurring), whereas P(A) is the "Probability" of event A occurring. (i.e., the number of outcomes where A occurs over the total number of outcomes.)
 
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