Zum Inhalt springen

Modus ponens/Schlussregel/Definition

Aus Wikiversity
Modus ponens

Die Schlussregel, dass sich aus α und αβ die Beziehung β ergibt, heißt Modus ponens.