LexiDict.de - Logo
Druckversion | Impressum | Datenschutz

Modus ponens

Aus LexiDict


Der Modus ponens ist eine schon in der antiken Logik geläufige Schlussfigur, die in vielen logischen Systemen (siehe Logik, Kalkül) als Schlussregel verwendet wird.

Der Modus ponens erlaubt es, aus zwei Aussagen der Form Wenn A, dann B und A (den beiden Prämissen der Schlussfigur) eine Aussage der Form B (die Konklusion der Schlussfigur) herzuleiten.

Die eigentliche Bezeichnung für den Modus ponens ist – in Abgrenzung zum Modus tollendo ponens – Modus ponendo ponens. Synonym werden unter anderem die Ausdrücke Abtrennungsregel oder Implikationsbeseitigung verwandt.

Abgekürzt wird die Schlussregel vielfach mit MP beziehungsweise MPP.

Weblinks




Weblink hinzufügen




Mit dem Speichern dieser Seite versichere ich, dass ich den Beitrag selbst verfasst habe bzw. dass er keine fremden Rechte verletzt, und willige ein, ihn unter der Lizenz Creative Commons Zero zu veröffentlichen.

Links auf diese Seite
Hilbert-Kalkül
'''Hilbertkalküle''' sind axiomatische [[Kalkül]]e für die klassische [[Aussagenlogik]] oder die [[Prädikatenlogik]] erster Stufe, das heißt Kalküle, in denen sich [[Theorem]]e und [[Argument]]e der Aussagenlogik oder der Prädikatenlogik erster Stufe [[Ableitung (Logik)|herleiten]] lassen. Die beiden Hauptmerkmale von Hilbertkalkülen sind das Vorhandensein etlicher Axiome oder Axiomenschemata sowie die geringe Anzahl von Schlussregeln – im Fall der Angabe von Axiomenschemata oft nur einer einzigen Regel, des [[Modus ponens|Modus ponendo ponens]], und im Fall der Angabe von Axiomen zusätzlich einer [[Substitution (Logik)|Substitutionsregel]].
Add to alltagzAdd to icioAdd to infopiratAdd to linkarenaAdd to misterwongAdd to netselektorAdd to newskickAdd to oneviewAdd to readsterAdd to webnewsAdd to yahooAdd to yigg

Dieser Artikel basiert auf dem Artikel Modus ponens aus der freien Enzyklopädie Wikipedia und steht unter der GNU-Lizenz für freie Dokumentation. In der Wikipedia ist eine Liste der Autoren verfügbar.

Von „http://www.lexidict.de/wiki/Modus_ponens“

Diese Seite wurde bisher 25-mal abgerufen. Diese Seite wurde zuletzt am 24. Januar 2010 um 19:44 Uhr geändert. Inhalt ist verfügbar unter der GNU Free Documentation License 1.2.




Finden

Navigation
Wissen kompakt
Statistik
Denk-Spiel
Fun