Modus ponens 및 작 tollens,(라틴어로는”방법을 긍정”및”방법을 부정”)에서 명제 논리,두 가지 유형의 추정에서 얻을 수있는 가 제안 즉,에서 건의안의 형태로”으면,다음 B”(을 상징적으로는⊃B,에서는⊃의미하는”경우. . . 그런 다음”). Modus ponens 는 a⊃b;a 형태의 추론을 말하며,따라서 B.Modus tollens 는 a⊃B;∼B 형태의 추론을 말하며,따라서∼A(∼는”not”을 의미 함)., 예를 들어의 잠정 tollens 은 다음과 같다:

경우에는 각도에 새겨진 반면 그것은 직각이다;이것각은 옳지 않아 각;따라서,이 각지 않습에 새겨진 반원입니다.

단절된 구내용(∨를 채용하여”어느 쪽이든을 의미한다. . . 또”)용어 modus tollendo ponens 및 작 ponendo tollens 사용에 대한 논의를 형성∨B;∼A,따라서 B,A∨B,A,따라서∼B(만 유효에 대한 독점적인 분리:”A 또는 B 지만 둘 다”). 잠정 ponens 의 규칙은 거의 모든 공식적인 논리 시스템에 통합됩니다.