226539 materialEducativo

Modus ponens

Gefällt mir 0
Besuche/Aufrufe 4
Kommentare 0
Speichert in
Aktionen
- Link senden

Über diese Ressource...

Modus ponens

Artículo WikipediaFuente Dbpedia

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. Er 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 technisch korrekte 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. In halbformalen Kalkülen wird die Schlussregel vielfach mit MP abgekürzt.

Wikipedia Inglés http://en.wikipedia.org/wiki/Modus_ponens

Wikipedia Español http://es.wikipedia.org/wiki/Modus_ponendo_ponens

Enlaces externos relacionado http://mathworld.wolfram.com/ModusPonens.html