{"schema_version":"ocme-site-results-v1","locale":"en","page_type":"derivations","facts":{"questions":36000,"reviewed":36000,"display_candidates":0,"knowledge":302,"guides":299,"paths":59,"batches":360,"families":1441,"atlas":302,"core":80,"evidence":9,"formal_evidence":5,"formal_subjects":4,"lean_files":6,"lean_toolchain":"leanprover/lean4:v4.30.0","question_state":"candidate","english_state":"ai_candidate","question_Lean":"NOT_RUN","canonical_truth_promotion":false},"filters":{"q":"mko-event-independence"},"kind":"guides","total":1,"pages":1,"page":1,"entries":[{"id":"derivation-mko-event-independence-01","title":{"zh-Hant":"事件獨立：以交集乘積判定，並核對條件式、補集與零機率事件","en":"Event independence: deciding by the product rule, with the conditional form, complements and a zero-probability event"},"summary":{"zh-Hant":"公正骰子模型：Ω={1,2,3,4,5,6}，每個結果的質量為 1/6。設 A={2,4,6}、B={1,2,3,4}、D={1,3,5}、Z=∅。（一）以乘積定義判定 A 與 B 是否獨立，並在 P(B)>0 下核對 P(A|B)=P(A)。（二）證明 A 與 B 獨立推出 A 與 Bᶜ 獨立，並以數字核對。（三）判定互斥事件 A、D 是否獨立。（四）判定 A 與零機率事件 Z 是否獨立，並說明條件式為何不能使用。","en":"Fair-die model: Ω={1,2,3,4,5,6}, each outcome with mass 1/6. Let A={2,4,6}, B={1,2,3,4}, D={1,3,5} and Z=∅. (1) Decide by the product definition whether A and B are independent, and with P(B)>0 check P(A|B)=P(A). (2) Prove that independence of A and B implies independence of A and Bᶜ, and check it numerically. (3) Decide whether the mutually exclusive events A and D are independent. (4) Decide whether A and the zero-probability event Z are independent, and explain why the conditional form cannot be used."},"mko_ids":["mko-event-independence"]}],"title":"Concept derivation guides"}