a76500ad2906b476aff1c6bb11f11a396fea1d5e461bc5b0



보통 명제논리 추론 규칙에서 

modus ponens(전건긍정) , modus tollens(후건부정) 외에도

Modus Ponendo Tollens; MPT 가 유효한 추론규칙으로 존재한다는데

이걸 다루는곳은 인터넷에서 영문위키밖에 못봤습니다

당장 한국어로 뭐라 하는지 나오지도 않고

추론규칙의 종류를 말할때 MPT를 누락하는 이유가 뭘까요?

기존의 추론규칙에서 유도되는 따름정리라고 생각해서?