Formal Reasoning

0.0(0)
learnLearn
examPractice Test
spaced repetitionSpaced Repetition
heart puzzleMatch
flashcardsFlashcards
Card Sorting

1/3

flashcard set

Earn XP

Description and Tags

Exam 2

Study Analytics
Name
Mastery
Learn
Test
Matching
Spaced

No study sessions yet.

4 Terms

1
New cards

Axiom 1: Range

for any event A:

0 ≤ p(A) ≤ 1

2
New cards

Axiom 2: Certainty

if an event A is a tautology, then:

p(A) = 1

3
New cards

Axiom 3: Additivity

if two events A and B are mutually exclusive, then:

p(A v B) = p(A) + p(B)

4
New cards

Axiom 4: Conditional Probability

for any two events A and B, if p(B) ≠ 0

p(A|B) = p(A ∩ B) / p(B)

Explore top notes

Explore top flashcards