@prefix concept: <https://w3id.org/kmath/concept/> .
@prefix course: <https://w3id.org/kmath/course/> .
@prefix math: <https://w3id.org/kmath/> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
@prefix review_status: <https://w3id.org/kmath/review_status/> .
@prefix scheme: <https://w3id.org/kmath/scheme/> .
@prefix skos: <http://www.w3.org/2004/02/skos/core#> .
@prefix textbook_section: <https://w3id.org/kmath/textbook_section/> .

concept:probability_addition_rule a math:Concept ;
    rdfs:label "확률의 덧셈정리"@ko ;
    skos:definition "두 사건 A, B에 대하여 P(A ∪ B) = P(A) + P(B) − P(A ∩ B)가 성립한다는 정리이다."@ko ;
    skos:editorialNote "2026-09-28 개념 모델 정비에서 2022 개정 교육과정 성취기준을 근거로 추가했다. 도메인 전문가 검토가 필요하다."@ko ;
    skos:inScheme scheme:concepts ;
    skos:prefLabel "addition rule of probability"@en,
        "확률의 덧셈정리"@ko ;
    skos:topConceptOf scheme:concepts ;
    math:introducedIn course:probability_statistics ;
    math:requires concept:sample_space ;
    math:requiresTransitively concept:counting_principle,
        concept:frequency_distribution,
        concept:probability,
        concept:relative_frequency,
        concept:sample_space,
        concept:set,
        concept:set_inclusion,
        concept:set_operation ;
    math:reviewStatus review_status:needs_review ;
    math:sourceSection textbook_section:national_curriculum_2022_probability_statistics_probability ;
    math:taughtIn course:probability_statistics .