Modus ponens, Modus tollens

Modus ponens und Modus tollens heißen die beiden Arten hypothetisch-kategorischer Schlüsse, in denen ein hypothetisches und ein kategorisches Urteil verbunden ist. Jenes ist der Schluß von der Setzung des Subjekts (des Grundes) im Untersatze auf die Setzung des Prädikats (der Folge) im Schlußsatz; dieses der Schluß von der Aufhebung des Prädikate (der Folge) im Untersatze auf die Aufhebung des Subjekts (des Grundes) im Schlußsatz. Die Grundform ist:

1. Wenn A gilt, so gilt B;

   A gilt;

   ----------------------

   also gilt auch B

2. Wenn A gilt, so gilt B;

    B gilt nicht;

    ----------------------

    also gilt auch A nicht.