Utilvo Studio100% Client-Side Suite
Axiomatic Probability, Bayesian Inference & Binomial PMF Engine

Probability Calculator — Bayes' Theorem & Binomial Distributions

Analyze single, joint, conditional, and marginal event spaces. Update beliefs via Bayes' Theorem, evaluate Bernoulli trial chains, and explore interactive Venn set intersections.

Axiomatic Probability, Set Theory & Bayesian Updating

Kolmogorov's foundation, union addition rules, conditional independence, and the mathematics of evidence.

Kolmogorov's Three Axioms of Probability

Modern probability theory rests on the formal measure-theoretic framework established by Andrey Kolmogorov in 1933 over a sample space Ω:

1. Non-negativity: P(E) ≥ 0 for any event E ⊆ Ω.
2. Unit Measure: P(Ω) = 1 (the sample space represents absolute certainty).
3. Countable Additivity: For mutually disjoint events E₁, E₂, ..., P(⋃ Eᵢ) = ∑ P(Eᵢ).

From these three axioms emerge the complementary event rule P(Ac) = 1 - P(A) and the bound 0 ≤ P(E) ≤ 1.

Independent vs. Mutually Exclusive Events

A frequent misconception in statistics is equating independence with mutual exclusivity. In reality, they are mathematically contradictory for non-trivial events:

Mutually Exclusive (Disjoint) Events
Events A and B cannot occur simultaneously: P(A ∩ B) = 0. Therefore, P(A ∪ B) = P(A) + P(B). If A happens, B is guaranteed NOT to happen.
Independent Events
The occurrence of A imparts zero information regarding B: P(A ∩ B) = P(A) × P(B). Consequently, P(A | B) = P(A). Two events with P > 0 cannot be both independent and disjoint!

Advanced Probability Formulations

General Addition Rule
P(A ∪ B) = P(A) + P(B) - P(A ∩ B)

Prevents double-counting the overlap region in Venn diagrams. If events are independent, subtract P(A)P(B).

Bayes' Theorem
P(H|E) = [P(E|H) · P(H)] / P(E)

Updates prior belief P(H) using evidence E, sensitivity P(E|H), and total marginal probability P(E).

Binomial Distribution (PMF)
P(X = k) = C(n, k) · pk(1-p)n-k

Models exactly k successes across n independent Bernoulli trials with constant success probability p.

Probability Models, Formulas & Real-World Reference Matrix

Comparative lookup table of standard probability regimes, boundary conditions, and typical applications.

Model / OperationMathematical FormulaAssumptions & ConstraintsOutput RangeReal-World Application
General Union (A ∪ B)P(A) + P(B) - P(A ∩ B)Any two events; requires joint probability[0, 1]System availability across redundant servers
Disjoint UnionP(A) + P(B)Mutually exclusive: P(A ∩ B) = 0[0, 1]Rolling a 1 OR a 6 on a fair six-sided die
Independent Joint (A ∩ B)P(A) × P(B)Outcome of A has no effect on likelihood of B[0, 1]Coin flip consecutive heads; unrelated sensor alerts
Conditional ProbabilityP(A ∩ B) / P(B)Requires conditioning event P(B) > 0[0, 1]Card drawing without replacement; customer churn
Bayesian Posterior[P(E|H)·P(H)] / P(E)Requires prior P(H), sensitivity, false positive rate[0, 1]Medical screening, spam email filtering, AI priors
Binomial Point Mass (PMF)C(n,k) · pk(1-p)n-kn independent identical Bernoulli trials, constant p[0, 1]Manufacturing defect rates in fixed production batches
Binomial Cumulative (CDF)∑i=0k C(n,i) pi(1-p)n-iCumulative probability of at most k successes[0, 1]Batch acceptance testing; SLA breach thresholds
Odds to ProbabilityOdds / (1 + Odds)Ratio of favorable outcomes to unfavorable (a:b)[0, 1]Sports betting, gaming stakes, logistic regression logit

Frequently Asked Questions

Expert answers on independence, the base rate fallacy, binomial curves, and set operations.

Q1.How does the tool distinguish between mutually exclusive and independent events in union calculations?

It applies P(A∪B) = P(A) + P(B) − P(A∩B). For mutually exclusive events, P(A∩B) is strictly zero, so the union simplifies directly to P(A) + P(B). For independent events, P(A∩B) = P(A) × P(B).

Q2.What inputs are required to compute a full Bayes' theorem result?

You need the prior probability of the hypothesis P(H), the true positive rate or likelihood P(E|H), and the false positive rate P(E|¬H) to evaluate the total evidence and posterior probability P(H|E).

Q3.Why is the posterior probability in Bayes' theorem often lower than test sensitivity?

This phenomenon is known as the base rate fallacy. When the prior prevalence of a condition is very small, false positives from the large healthy population can easily outnumber true positives from the small affected group.

Q4.How does the binomial calculator compute cumulative probability P(X ≤ k)?

It sums the individual probability mass function (PMF) values for all discrete outcomes from 0 through k using the binomial combination formula nCr × p^r × (1-p)^(n-r).

Q5.Does the calculator accept both decimal, fraction, and percentage probability inputs?

Yes. Values entered as decimals (0.25), percentages (25%), or odds are normalized into standard unit probabilities within the interval [0, 1] for all algebraic formulas.