Modus ponens

Schlussregel der formalen Logik
Dies ist eine alte Version dieser Seite, zuletzt bearbeitet am 2. Mai 2004 um 13:49 Uhr durch Dberlin (Diskussion | Beiträge). Sie kann sich erheblich von der aktuellen Version unterscheiden.

Grundregel der Logik.

Wenn gilt "aus A folgt B" und "A ist wahr", dann gilt auch "B ist wahr".

Siehe auch: