전건 긍정의 형식

전건 긍정의 형식(前件肯定形式) 또는 전건긍정식은 고전논리학의 단순하고 유효한 논증식 중 하나이다. 라틴어로 modus ponendo ponens라고 하며, 줄여서 modus ponens 또는 MP라고 한다. 후건 부정의 형식(modus tollens)과 밀접한 관련이 있다.

전건 긍정의 형식은 아주 흔히 쓰는 추론 규칙의 일종으로 그 형태는 다음과 같다.:

만일 P 이면, Q 이다.

P 이다.

따라서, Q 이다.

정형적 표기법

모두스 포넨스(modus ponens)는 다음과 같이 표기하거나,

$P \to Q, P \vdash Q$

다음과 같이 나타낼 수 있다.

$\frac{P \rightarrow Q, P}{Q}.$

같이 보기

• 삼단논법
• 후건 부정의 형식
• 귀류법

바깥 링크

• 울프람 매스월드(Wolfram MathWorld)의 Modus ponens