전건 긍정

위키백과, 우리 모두의 백과사전.
둘러보기로 가기 검색하러 가기

논리학에서 전건 긍정(前件肯定, Modus ponens)은 단순하고 유효한 추론 규칙의 일종으로 그 형태는 다음과 같다:

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

라틴어modus ponendo ponens라고 하며, 줄여서 modus ponens 또는 MP라고 한다. 후건 부정(modus tollens)과 밀접한 관련이 있다. 한편 전건(前件)은 앞에서 언급된 조항이나 사건으로 가언적 판단에서는 그 조건, 이유 따위를 표시하는 부분이된다. [2]

정형적 표기법[편집]

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

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

같이 보기[편집]

각주[편집]

  1. Jago, Mark (2007). 《Formal Logic》. Humanities-Ebooks LLP. ISBN 978-1-84760-041-7.  |출판사=에 외부 링크가 있음 (도움말)
  2. (우리말샘)전건(前件)

외부 링크[편집]