Modus Tollens

 

Modus Tollens (부정식) : 소광희 : 부정식(Modus Tollens ; modus=mode, tollere=to deny; 부정의 식) 은 후건을 부정함으로써(tollendo) 전건을 부정하는(tollens) 추론형식(modus)이므로 부정적 부정식(Modus Tollendo Tollens; the mode which, by denying, denies) 이라고도 부른다. 그 형식은 다음의 왼쪽 식과 같고 그 타당성의 증명은 오른쪽 표와 같다.

Modus Tollens (MT)




 

Modus Tollens를 이용해서 다음 추론을 증명해 보자.

(1)를 기호화하여 증명하면 다음과 같다.

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

Modus Tollens 와 대우(對偶, contrapositive) 는 같은 의미이다.