@prefix concept: <https://w3id.org/kmath/concept/> .
@prefix difficulty_band: <https://w3id.org/kmath/difficulty_band/> .
@prefix math: <https://w3id.org/kmath/> .
@prefix problem_type: <https://w3id.org/kmath/problem_type/> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
@prefix skill: <https://w3id.org/kmath/skill/> .
@prefix skos: <http://www.w3.org/2004/02/skos/core#> .

problem_type:mathematical_induction_proof a math:ProblemType ;
    rdfs:label "수학적 귀납법을 이용한 증명"@ko ;
    skos:definition "수학적 귀납법으로 자연수에 대한 등식, 부등식, 정수에 관한 명제를 증명하는 과정을 완성하는 문항 유형."@ko ;
    skos:editorialNote "2026-09-28 운영 DB 대수 문항의 세부 유형(type_name) '수학적 귀납법2 (등식)', '수학적 귀납법3 (부등식)', '수학적 귀납법4 (정수론)', '수학적 귀납법5 (점화식)'에 해당하는 147문항을 근거로 추가했다. 난이도는 DB 난이도 중앙값 2을 기준으로 정했다. 도메인 전문가 검토가 필요하다."@ko ;
    skos:example "모든 자연수 n에 대하여 1 + 3 + 5 + ⋯ + (2n − 1) = n²이 성립함을 수학적 귀납법으로 증명하시오."@ko ;
    skos:prefLabel "수학적 귀납법을 이용한 증명"@ko ;
    math:difficultyBand difficulty_band:intermediate ;
    math:requiresSkill skill:induction_step ;
    math:targets concept:mathematical_induction .