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

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

P, P→Q ⊢ Q


Compare: [[후건부정,modus_tollens]]
{
영어: '''denying the consequent'''
라틴어: '''modus tollens'''

결론의 부정으로부터 전제의 부정을 유도하는 추론 규칙

[[후건,consequent]]

￢Q, P→Q ⊢ ￢P

만약 P라면, Q이다. 그런데 Q가 아니다. 따라서 P가 아니다.

추론 형식:
 $\frac{P\to Q\;\neg Q}{\neg P}$
또는
 $P\to Q,\neg Q \vdash \neg P$

Twin: WpKo:후건_부정

}


Twin: WpKo:전건_긍정
}

[[후건,consequent]]

Up: [[논리학,logic]]