전건 긍정
(전건 긍정의 형식에서 넘어옴)
논리학에서 전건 긍정(前件肯定, 영어: affirming the antecedent) 또는 긍정 논법(肯定論法, 라틴어: modus ponens 모두스 포넨스[*], 약자 MP) 또는 함의 소거(含意消去, 영어: implication elimination)는 가언 명제와 그 전제로부터 그 결론을 유도해내는 추론 규칙이다. 즉, “만약 P이면, Q이다”와 “P이다”에서 “Q이다”를 추론한다.[1]
정의
편집전건 긍정은 다음과 같은 추론 형식이다.[2]:184, §16.3.1
또는
여기서
성질
편집전건 긍정은 고전 (명제/1차/2차/고차) 논리에서 성립한다. 보다 일반적으로, 전건 긍정은 직관 (명제/1차/2차/고차) 논리에서도 성립한다. LP(3가 논리의 일종)는 전건 긍정이 성립하지 않는 논리 체계의 한 예이다.
같이 보기
편집각주
편집- ↑ Jago, Mark (2007). 《Formal Logic》. Humanities-Ebooks LLP. ISBN 978-1-84760-041-7.
- ↑ Lover, Robert (2008). 《Elementary Logic》 (영어). London: Springer. doi:10.1007/978-1-84800-082-7. ISBN 978-1-84800-081-0. LCCN 2008928865.
외부 링크
편집- “Modus ponens”. 《Encyclopedia of Mathematics》 (영어). Springer-Verlag. 2001. ISBN 978-1-55608-010-4.
- Weisstein, Eric Wolfgang. “Modus ponens”. 《Wolfram MathWorld》 (영어). Wolfram Research.