modus tollendo ponens

Als modus tollendo ponens bezeichnet man die Art des distributiv-kategorischen Schlusses, in dem der Obersatz ein distributives Urteil ist und der Untersatz eines der Glieder des distributiven Urteils verneint. Der Schlusssatz bejaht ein anderes Glied des distributiven Urteils.

Dieser Modus heißt auch negativ-bejahend.

Der Schluss hat folgende Form

A ist entweder B oder C
A ist nicht C
———————–
A ist B

In der heutigen Symbolik wird der Schluss auch durch die Regel

A &; B, &;B
————
B