[[조건문,]](conditional, conditional statement ? conditional sentence ?) if A then B 에서, A는 '''전건,antecedent'''이고 B는 [[후건,consequent]]이라 불린다. ---- Sub: [[전건부정]] ... Ggl:"전건 부정" Ndict:"전건 부정" 전건 부정의 오류: A이면 B이다. A가 아니다. 그러므로 B가 아니다. Sub: [[전건긍정,modus_ponens]] Compare: [[후건,consequent]] Up: [[논리학,logic]]