후건 부정의 형식

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

후건 부정의 형식(後件否定形式) 또는 후건부정식고전논리학의 단순하고 유효한 논증식 중 하나이다. 라틴어modus tollendo tollens[1]라고 하며, 줄여서 "모두스 톨랜스"(modus tollens)라고 한다. 전건 긍정의 형식(modus ponens)과 밀접한 관련이 있다.

다음과 같은 논증식을 가진다.

만일 P 이면, Q 이다.
Q 가 아니다.
그러므로, P 가 아니다.[2]

같이 보기[편집]

주석[편집]

  1. Sanford, David Hawley. 2003. If P, Then Q: Conditionals and the Foundations of Reasoning. London, UK: Routledge: 39 "[Modus] tollens is always an abbreviation for modus tollendo tollens, the mood that by denying denies."
  2. University of North Carolina, Philosophy Department, Logic Glossary. Accessdate on 31 October 2007.

바깥 링크[편집]