1 / 10

Vorbesprechung Serie 9

Vorbesprechung Serie 9. Ax(ExR(x)  Q(x)) wird identifiziert mit Ax(EzR(z)  Q(x)) Skript S.101 & 102: ~AxP(x)  Ex~P(x) ~ExP(x) Ax~P(x) Ax(P(x)/Q(x)) AxP(x) / AxQ(x) Ex(P(x) / Q(x))  ExP(x) / ExQ(x) Ax(P(x)  D)  Ax(~P(x) / D) AxP(x) / AxQ(x)  Ax(P(x) / Q(x)).

tola
Download Presentation

Vorbesprechung Serie 9

An Image/Link below is provided (as is) to download presentation Download Policy: Content on the Website is provided to you AS IS for your information and personal use and may not be sold / licensed / shared on other websites without getting consent from its author. Content is provided to you AS IS for your information and personal use only. Download presentation by click this link. While downloading, if for some reason you are not able to download a presentation, the publisher may have deleted the file from their server. During download, if you can't get a presentation, the file might be deleted by the publisher.

E N D

Presentation Transcript

  1. Vorbesprechung Serie 9 Ax(ExR(x)  Q(x)) wird identifiziert mit Ax(EzR(z)  Q(x)) Skript S.101 & 102: ~AxP(x)  Ex~P(x) ~ExP(x) Ax~P(x) Ax(P(x)/\Q(x)) AxP(x) /\ AxQ(x) Ex(P(x) \/ Q(x))  ExP(x) \/ ExQ(x) Ax(P(x)  D)  Ax(~P(x) \/ D) AxP(x) \/ AxQ(x)  Ax(P(x) \/ Q(x))

  2. Wichtig bei Induktionsbeweisen: Form, Form, Form Korrekter Induktionsbeweis: 1. Verankerung 2. Induktionsannahme 3. Induktionsbehauptung 4. Induktionsschritt

  3. Zur Verankerung: Zeige, dass die Formel für 1 gilt: Nicht einfach: √ Sondern: Verankerung mit n=1: 1 = 1*(1+1)/2 √

  4. Zur Annahme und zur Behauptung: Induktionsannahme = Formel für n (ev. auch für n-1) Induktionsbehauptung = Formel die wir am Schluss möchten, also Formel für n+1 (oder für n)

  5. Zum Induktionsschritt: Von wo nach wo?-Start: Formel die gegeben ist -umwandeln bis die Annahme eingesetzt werden kann (exakt!!!) -Annahme einsetzen -umformen bis die Form der Behauptung erreicht ist

  6. Stacks und so

  7. Eine logische Konsequenz • Wir können die Aussage aus den Axiomen herleiten Wir haben gegeben: push(x1, y1) ≈ push(x2, y2) Wir können wie bei Gleichungen auf beiden Seiten die gleiche Operation ausführen. Am besten so, dass wir danach ein Axiom anwenden können…

  8. Wir können wie bei Gleichungen vereinfachen: (kommt z.B. in einer Formel „(n+a)*(n-a)“ vor, so können wir dies immer mit „n^2-a^2” ersetzen) Mit S5: Wenn “top(push(x,y)” vorkommt können wirs ersetzen mit “x” Mit S6: Wenn „pop(push(x, y))” können wirs mit “y” ersetzen

  9. Nicht verzweifeln an den Aufgaben P3-P5. Sie sind schwierig… Auch wenn in diesen Axiomen der Name Stack steht, es muss sich nicht um Stacks handeln (Sonst könnt Ihrs gar nicht beweisen…) Ihr dürft also die Funktionen selber interpretieren. Wie damals, als ihr Modelle für bestimmte Aussagen suchen musstet. Aber: Die Axiome müssen auch bei Euren Funktionen stimmen!

  10. Induktion mit Stacks • Zeige, dass die Bedingung für den leeren Stack gilt. Ersetze y mit empty (empty ist eine Konstante • Schritt: Zeige, dass wenn die Annahme (= Formel) stimmt, dass die Aussage auch für push(x,y) stimmt. Zu zeigen: A (y)  A (push(x,y))

More Related