Modus  Ponens

 

Modus Ponens (긍정식) : 소광희 : '긍정식'이란 명칭은 Latin 어의 'Modus Ponens' (긍정의 식 ; modus=mode, ponere=to affirm) 라는 말에서 유래한다.  가언명제인 제1전제의 전건을 정언명제인 제 2전제가 긍정함으로써 결론에서 후건을 긍정하는 추론형식이니 긍정적 긍정식(Modus Ponendo Ponens; the mode which, by affirming, affirms)이라고도 부른다. 기호로 표시하면 다음과 같다.

Modus Ponens (MP)




이 추론형식의 타당성 여부는 ''의 진리표로써 밝혀진다.
다음 진리표에서 보는 바와 같이, ''는 Tautology 이므로 Modus Ponens 는 타당한 추론형식이다.


 

이런 형식을 가진 모든 추론은 Modus Ponens 에 의하여 그 타당성을 보증받는다고 말할 수 있다. 따라서 우리는 추론의 타당성 증명에 이것을 이용할 수가 있다.
 다음 추론을 분석해 보자.

기호로 표시하면 (1)은 다음과 같은 추론이다.

(2)의 증명은 다음 (3)과 같다.

 Modus PonensModus Tollens 는 가끔 추론의 오류 와 혼동되기 쉽다.