Smowheer Member since Dec 2012 17 posts	2016-12-15, 13:33   #1   Subject: Blatt 7 +0 +0 Ich haett da mal ne Frage zu dem 7ten Blatt. Und zwar dachte ich, dass das "iff" normalerweise zu einer Aequivalenz (<-->) mapt. Fuer Completeness dacht ich aber, dass nur H |= A --> H |-- A gilt und keine Aequivalenz. Ist das dann ein Typo, oder lieg ich da irgendwo falsch?

Jazzpirate Member since Oct 2016 803 posts	2016-12-15, 14:20   #2   +0 +0 Du liegst nicht falsch, aber die rückrichtung ist Korrektheit, die sowieso immer gelten sollte, sonst ist das Kalkül fürn Arsch ob ich die Rückrichtung also mitnehme oder nicht macht wenig relevanten unterschied

BTL Member since Oct 2012 310 posts	2016-12-18, 10:16   #3   +0 +0 Bei Aufgabe 7.2 Punkt 2 fehlt eine Klammer. Das soll vermutlich (A \land B) \Rightarrow (A \land C) heißen oder?

Jazzpirate Member since Oct 2016 803 posts	2016-12-18, 11:03   #4   +0 +0 Klammern sind da unnötig; standard-konvention besagt, dass \land stärker bindet als \Rightarrow - aber ja, wenn man Konventionen weglässt ist deine Klammerung die richtige Allgemeine Bindungsstärken-Konvention (von am-stärksten zu am-schwächsten): \neg \forall \exists \land \lor \Rightarrow \Leftrightarrow

Jazzpirate Member since Oct 2016 803 posts

2016-12-18, 11:07   #5   +0 +0 Wo wir schon dabei sind: Ich kenn das gerade von Informatikern aber auch so, dass man bei quantoren nen punkt dahinter setzt und dann alles dahinter in klammer gehört. Das macht insbesondere Sinn in pränex-normalform, wenn alle quantoren am anfang stehen. \forall x A \land \exists y B \Rightarrow C in "standard-konvention" wäre z.B. ((\forall x A) \land (\exists y B)) \Rightarrow C ...bei informatikern dagegen \forall x. (A \land \exists y. (B \Rightarrow C))

nenas Member since May 2012 229 posts	2016-12-18, 13:18   #6   +0 +0 Reichen für die Korrektheit in Aufgabe 7.1 einfache Wahrheitstabellen?
	Sometimes, I guess there just aren't enough rocks.

Jazzpirate Member since Oct 2016 803 posts	2016-12-18, 13:32   #7   +0 +0 Für die Gültigkeit von *einzelnen Formeln* darfst du dich auch auf Wahrheitstabellen *beziehen* - sehen will ich die gar nicht

BreakFast Member since Oct 2012 350 posts	2016-12-18, 20:33   #8   +0 +0 Ich glaube "Section 10.3.1" ist nicht mehr aktuell.

ItodNerd Member since Dec 2012 24 posts	2016-12-18, 20:53   #9   +0 +0 Quote by BreakFast: Ich glaube "Section 10.3.1" ist nicht mehr aktuell. Im vergleich mit dem Alten skript (vom 9.12.16), müsste das jetzt 10.4.1 sein.

BreakFast Member since Oct 2012 350 posts	2016-12-18, 20:58   #10   In reply to post #4 +0 +0 Quote by Jazzpirate: Klammern sind da unnötig; standard-konvention besagt, dass \land stärker bindet als \Rightarrow - aber ja, wenn man Konventionen weglässt ist deine Klammerung die richtige Es geht darum, dass eine einzelne Klammer fehlt. Die unnötige Klammerung ist da schon, bloss geht sie halt nicht auf sondern nur zu.

Jazzpirate Member since Oct 2016 803 posts	2016-12-19, 08:58   #11   +0 +0 Ach ups, bei Aufgabe 2 meintest du... ähm, ja, da ist was schief gelaufen. Ich weiß aber auch nicht mehr welche Klammerung ich da beabsichtigt hatte, ihr dürft (bzw. durftet) euch also eine aussuchen

10pointsforgryffindor Member since Oct 2016 7 posts	2017-02-06, 11:11   #12   +0 +0 Servus, wird es für Aufgabe 7.2 noch eine Musterlösung geben? Die Aufgabe wird in solution07.pdf ausgelassen. LG

Shadow992 Member since Jan 2014 290 posts

2017-02-06, 12:10   #13   +0 +0 Quote by 10pointsforgryffindor: Servus, wird es für Aufgabe 7.2 noch eine Musterlösung geben? Die Aufgabe wird in solution07.pdf ausgelassen. LG Ich denke die wurde bewusst ausgelassen, weil es "wenig Probleme geben sollte". In den Ex08Slides ist auch eine Aufgabe davon gelöst, vielleicht reicht dir das auch schon. Ich werd heute im Laufe des Tages aber mal noch eine Musterlösung dazu mit reinpacken bzw. Dennis schicken, damit ers mit rein machen kann (mal sehen was weniger Aufwand ist ). Edit: Dennis kümmert sich drum.

This post was edited on 2017-02-06, 13:50 by Shadow992.