연역,deduction Copy: 연역,deduction has comma Hide Show Like "연역,deduction" These pages share an initial or final title word... 연역정리,deduction_theorem 자연연역,natural_deduction