전건 긍정식 (Modus Ponens)
한 줄 정의: 'P이면 Q이다'와 'P이다'라는 두 전제로부터 'Q이다'를 타당하게 이끌어내는 가장 기본적인 연역 추론 형식이다.
쉽게 풀면
전건 긍정식은 '비가 오면 땅이 젖는다. 비가 온다. 그러므로 땅이 젖는다'처럼, 조건문과 그 조건문의 앞부분(전건)이 참임을 근거로 뒷부분(후건)이 참이라는 결론을 이끌어내는 가장 기본적이고 명백하게 타당한 추론 형식이다.
논문에서는 이렇게 쓰입니다
"이 증명은 정리 A로부터 정리 B를 도출하기 위해 전건 긍정식을 반복적으로 적용한다."
수학적 증명에서 이미 확립된 조건문과 그 전건이 성립함을 이용해 새로운 결론을 단계적으로 이끌어내는 데 전건 긍정식이 기본 추론 규칙으로 쓰인다는 것을 보여준다.
주의할 점
전건 긍정식은 라틴어로 '긍정하는 방법'을 뜻하며, 조건문의 후건을 긍정해 전건을 잘못 이끌어내는 오류인 후건 긍정의 오류와 이름이 비슷하니 혼동하지 않아야 한다.