@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:proof_method a math:Concept ;
    rdfs:label "증명법"@ko ;
    skos:altLabel "증명"@ko ;
    skos:definition "정의와 이미 참으로 밝혀진 성질을 근거로 명제가 참임을 논리적으로 밝히는 방법으로, 대우를 이용한 증명법, 귀류법, 수학적 귀납법 등이 있다."@ko ;
    skos:editorialNote "2026-09-28 개념 모델 정비에서 2022 개정 교육과정 성취기준을 근거로 추가했다. 도메인 전문가 검토가 필요하다."@ko ;
    skos:inScheme scheme:concepts ;
    skos:prefLabel "methods of proof"@en,
        "증명법"@ko ;
    skos:topConceptOf scheme:concepts ;
    math:introducedIn course:common_math_2 ;
    math:requires concept:proposition ;
    math:requiresTransitively concept:proposition ;
    math:reviewStatus review_status:needs_review ;
    math:sourceSection textbook_section:national_curriculum_2022_common_math_2_sets_propositions ;
    math:taughtIn course:common_math_2 .