Modus ponens

Aus Wiki.sah
Version vom 28. Januar 2019, 22:53 Uhr von E.T. (Diskussion | Beiträge) (Modus tollens)
(Unterschied) ← Nächstältere Version | Aktuelle Version (Unterschied) | Nächstjüngere Version → (Unterschied)

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.

Siehe auch