BackLinks of "소거,elimination". Copy: has NO comma Hide Show C | 라 | 사 | 자 | 차 | 카 | 하 C condition 라 리덕션,reduction 사 소거,elimination 자 전건긍정,modus_ponens 차 추론규칙,inference_rule 카 캔슬레이션,cancellation 하 한정기호_정량자_quantifier 행렬,matrix