BackLinks of "derivation_rule". Copy: has NO comma Hide Show 가 | 다 | 자 가 규칙,rule 다 데리베이션,derivation 자 전건긍정,modus_ponens 증명이론,proof_theory