BackLinks of "전건,antecedent". Copy: has NO comma Hide Show 나 | 바 | 사 | 자 | 하 나 논리학,logic 바 부정,negation 사 시퀀트,sequent 자 전건긍정,modus_ponens 하 후건,consequent 후건부정,modus_tollens