Karlito 
Kaiser
Dabei seit: 11.04.2011
Beiträge: 1.461
 |
|
Hallo Daniel77,
Aufgabe 1:
a) irgendwie hängt hier das ![[latex]\beta[/latex]](http://www.matheboard.de/latex2png/latex2png.php?\beta) in der Luft. Das sieht jedenfalls nicht wohl geformt aus. ![[latex]\alpha \wedge \beta[/latex]](http://www.matheboard.de/latex2png/latex2png.php?\alpha \wedge \beta) wäre hier richtig.
b) ![[latex]\wedge[/latex]](http://www.matheboard.de/latex2png/latex2png.php?\wedge) ist ein zweiwertiger Operator. D.h. es fehlt ein Operand davor. ![[latex]B\wedge A[/latex]](http://www.matheboard.de/latex2png/latex2png.php?B\wedge A) ist eine gültige Lösung.
c) ist wohl geformt
d) siehe a. Weiterhin ist hier die Abarbeitungsreihenfolge wichtig, da die Implikation nicht Assoziativ ist. Also am Besten klammern setzen.
e) ist wohl geformt.
f) ist wohl geformt, wenn definiert ist, die Konjunktion eine andere Priorität bei der Abarbeitung hat als die Disjunktion, Sonst Klammern entsprechend setzen.
g) ist wohl geformt.
h) siehe a. Weiterhin ist die Negation ein einwertiger Operator. Es muss also vor der Negation noch ein zweiwertiger Operator stehen, damit die Formel wohlgeformt wäre.
i) siehe a
j) siehe a
Aufgabe 2:
Hier merke ich gerade erst, dass das scheinbar immer so komisch gesetzt ist und scheinbar keinen Fehler darstellt.... Auf die Korrektur habe ich gerade keine Lust.
a) Doppelnegation kann aufgelöst werden. Außerdem kann die äußerste Klammer weg gelassen werden.
Bei den anderen Aufgaben bitte ich, selbst nachzudenken... Gerne kannst du die Lösung posten und ich schaue mal drüber. Ich möchte Dir jedoch keine Lösung liefern sonst musst Du ja gar nix mehr machen...
Aufgabe 3 + 4:
Bitte erst einmal Lösung selbst versuchen. Unter Aussagenlogik in Wikipedia findest Du eine Beschreibung, wie die Operatoren anzuwenden sind.
Sollte dabei etwas unklar sein, kannst Du gerne noch einmal hier nachfragen.
VG,
Karlito
|
|
