Probability Theory

• mutually exclusive possible worlds

• exhaustive worlds, one must always be the case

• Probability Model

• Sample Space

• Probability Function

• Random Variable

• Outcome

• Event

• Domain of $X$ = possible outcomes

• Prior Probability

• Conditional Probability

  • Conditional Probability Distribution

• Joint Class Probability

  • Full Joint Probability Distribution

• Kolmogorov Theorem

• Independence

All atomic events are disjoint (their pairwise conjunctions all are equivalent to F); the sum of all fields is 1 (the disjunction over all atomic events is T).