Logik - Natürliches Schließen |
| 18.01.2013, 17:08 | Kurosh | Auf diesen Beitrag antworten » |
| Logik - Natürliches Schließen Aufgabe 6.a) sieht eigentlich nicht sehr schwer aus, aber ich bin mir nicht ganz sicher wie ich die hinkriegen soll. Hab da ein paar andere Ableitungen gesehen, aber das Prinzip von denen von Funktioniert hier nicht, da ich das letzte A nicht ableiten kann, um es dann mit meinen Prämissen zu belasten. Das dürfen wir verwenden: Regel 1: Wenn wir bereits B unter der Vorausetzung A abgelitten haben (egal wie A in der Voraussetzung vorkommt) dürfen wir auch ableiten A -> B Und den Modus Ponens, wenn wir A->B und A haben, so auch B Ich kann schon auch etwas längere Sachen ableiten, aber bei dieser knappen Aufgabe steh ich auf dem Schlauch, ein Tipp würde mich echt freuen |
||
| 18.01.2013, 17:27 | Kurosh | Auf diesen Beitrag antworten » |
Kann keinen Edit mehr vornehmen, aber wenn etwas nicht ganz klar ist bitte fragen! |
||
| 18.01.2013, 18:45 | weisbrot | Auf diesen Beitrag antworten » |
ich kenne das eigendlich als axiom (wenn man die klammern richtig setzt). was habt ihr für axiome in eurem kalkül gegeben? oder was soll man unter "herleiten" verstehen? lg |
||
| 18.01.2013, 19:03 | Kurosh | Auf diesen Beitrag antworten » |
http://www.math.lmu.de/~schwicht/lectures/logic/ws12/ch1.pdf Also auf Seite 9, unter Unterkapitel 1.1.5 werden Einführungs- und Eliminationsregeln eingeführt, erstmal nur sehr sehr knapp, praktisch auch nur für den Umgang mit der Implikation, Negation, Disjunktion usw sind noch nicht mal vorhanden. Es werden im groben nur die beiden Regeln die ich schon oben beschrieben hab verwendet, also Modusponens und Prämissenbehandlung, im Skript ist aber auch eine Ableitung angegeben, hoffe das erklärt worum es geht. |
||
| 18.01.2013, 20:00 | weisbrot | Auf diesen Beitrag antworten » |
scheint als würdet ihr das deduktionstheorem voraussetzen (kurz: wenn B aus A ableitbar ist, dann ist A->B ableitbar/wahr). d.h. um die ableitbarkeit von A->B zu zeigen zeigst du dass B aus A ableitbar ist. ach, sehe grad dass du das ja geschrieben hast, na dann is ja schön^^ also wenn ihr das ded.theorem in seiner vollen form gegeben habt (wohl nicht), dann folgt die ableitbarkeit der formel direkt. andernfalls ist eben zu zeigen dass A,B |- A. wenn das nicht schon in irgendeiner form vorausgesetzt ist dann weiß ich auch nicht, und ich hab jetzt auch nicht die energie mich komplett in euer kalkül hineinzudenken, sry. lg |
||
|
|
Verwandte Themen
| Die Beliebtesten » |
| Die Größten » |
|
| Die Neuesten » |
|
