Modus ponens
Aus Wiki.sah
Eigentlich Modus ponendo ponens "setzende Schlussfigur". Modus ponens ist eine logische Schlussregel, die besagt, dass wenn aus 'A' 'B' folgt und 'A' wahr ist, dann muss 'B' auch wahr sein.
Beispiel
Aus der Voraussetzung:
Es scheint die Sonne, und wenn die Sonne scheint, ist es hell
lässt sich herleiten, dass
wenn die Sonne aufgeht, es hell wird.