후건 부정

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

후건 부정(後件否定)은 고전논리학의 단순하고 유효한 논증식 중 하나이다. 라틴어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 Archived 2007년 8월 30일 - 웨이백 머신. Accessdate on 31 October 2007.

외부 링크[편집]