natürliche Deduktion < Logik < Logik+Mengenlehre < Hochschule < Mathe < Vorhilfe
|
Ich habe diese Frage in keinem Forum auf anderen Internetseiten gestellt.
Hallo,
ich bin nun bei der natürlichen Deduktion angelangt und stelle fest dass mein Buch sehr dürftig was zu diesem Thema bietet und im Internet finde ich auch nichts gescheites... hat vielleicht jemandn einen Link?!
Hier die zwei Fragen , wo ich überhaupt nicht weiß wie da rangehen soll und wie natürliche Deduktion überhaupt funktioniert. Danke schon mal im Voraus!
1) Beweisen Sie mittel natürlicher Deduktion die Regel
[mm] \overline [/mm] {phi [mm] \vee \neg [/mm] phi } (LEM)
Als Hinweis: Da die Regele keine Prämisse hat müssen sie den Beweis mit dem Kasten beginnen.
2) Zeigen sie mittels natürlicher deduktion dass es sich hierbei um eine Tautologie handelt
(p [mm] \Rightarrow [/mm] q) [mm] \vee [/mm] (q [mm] \Rightarrow [/mm] r)
Also mittels Wahrheitstabellen habe ich mit der Aufgabe kein Problem aber wie gesagt weiß nicht wie man genau bei der natürlichen Deduktion vorgeht.
|
|
|
![[]](/images/popup.gif){kind=small}
www.ifi.uzh.ch/req/courses/formale_grundlagen/fgi_ss99/folien/Deduktion.Aussagenlogik.4.pdf