BackLinks of "추론규칙,inference_rule". Copy: has NO comma Hide Show 가 | 사 | 아 | 자 | 차 | 하 가 규칙,rule 사 삼단논법,syllogism 소거,elimination 시스템,system 아 연역정리,deduction_theorem 자 자연연역,natural_deduction 전건긍정,modus_ponens 증명,proof 차 추론,inference 추론규칙,inference_rule 추론엔진,inference_engine 하 해상도,resolution 후건부정,modus_tollens