전건 긍정의 형식

위키백과, 우리 모두의 백과사전.
이동: 둘러보기, 검색

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

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

만일 P 이면, Q 이다.
P 이다.
따라서, Q 이다.[1]

정형적 표기법[편집]

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

P \to Q, P \vdash Q

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

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

같이 보기[편집]

주석[편집]

  1. Jago, Mark. 《Formal Logic》. Humanities-Ebooks LLP. ISBN 978-1-84760-041-7

바깥 링크[편집]