상위 질문
타임라인
채팅
관점
후건 부정
위키백과, 무료 백과사전
Remove ads
논리학에서 후건 부정(後件否定, 영어: denying the consequent) 또는 부정 논법(否定論法, 라틴어: modus tollens 모두스 톨렌스[*])은 가언 명제와 그 결론의 부정으로부터 그 전제의 부정을 유도하는 추론 규칙이다. 즉, “만약 P라면, Q이다. 그런데 Q가 아니다. 따라서 P가 아니다.”와 같이 추론한다.[1]
어원
후건 부정을 뜻하는 라틴어 modus tollens는 modus tollendo tollens의 약어이다.[2]
정의
후건 부정은 다음과 같은 추론 규칙이다.[3]:184, §16.3.1
또는
여기서
Remove ads
성질
같이 보기
각주
외부 링크
Wikiwand - on
Seamless Wikipedia browsing. On steroids.
Remove ads