전건 부정의 오류:
 A이면 B이다. A가 아니다. 그러므로 B가 아니다.

Sub: [[전건긍정,modus_ponens]]
{
영어: '''affirming the antecedent'''
라틴어: '''modus ponens'''
AKA 함의소거(implication elimination)

P이면 Q이다. P이다. → Q이다.

추론 형식:
 $\frac{A\to B \; A}{B}$
또는
 $A\to B,A\vdash B$
여기서
 $A,B$ : 논리식을 나타내는 메타 변수
 $\to$ : [[함의,implication]]
 $\vdash$ : 왼쪽 논리식으로부터 오른쪽 논리식을 증명할 수 있음을 나타내는 메타 논리 기호

P, P→Q ⊢ Q


Compare: [[후건부정,modus_tollens]]



Twin: WpKo:전건_긍정

http://www.aistudy.com/logic/modus_ponens.htm - aka '''긍정식'''
}


Compare: [[후건,consequent]]
Up: [[논리학,logic]]