Informatiker Board | Druckvorschau: Aufgaben lösen Wohlgeformte Formeln

Informatiker Board (http://www.informatikerboard.de/board/index.php)
- Themengebiete (http://www.informatikerboard.de/board/board.php?boardid=1)
--- Theoretische Informatik (http://www.informatikerboard.de/board/board.php?boardid=5)
---- Logik (http://www.informatikerboard.de/board/board.php?boardid=16)
----- Aufgaben lösen Wohlgeformte Formeln (http://www.informatikerboard.de/board/thread.php?threadid=1847)

Geschrieben von Daniel77 am 18.04.2014 um 11:29:

Aufgaben lösen Wohlgeformte Formeln

Meine Frage:
Hallo zusammen wir haben in der Uni in einer Philosophie Vorlesung hiermit angefangen und ich muss leider zugeben ich kann das absolut gar nicht und die Anderen in meinem Kurs irgendwie auch nicht so wirklich wollte mal Fragen ob uns hier Jemand helfen kann!
Müssen das Montag abgeben und wir wissen absolut nicht weiter...
Danke schon einmal im voraus
mfg Daniel

Meine Ideen:
???

Geschrieben von Karlito am 18.04.2014 um 15:57:

Hallo Daniel77,

Aufgabe 1:
a) irgendwie hängt hier das $[latex]\beta[/latex]$ in der Luft. Das sieht jedenfalls nicht wohl geformt aus. $[latex]\alpha \wedge \beta[/latex]$ wäre hier richtig.
b) $[latex]\wedge[/latex]$ ist ein zweiwertiger Operator. D.h. es fehlt ein Operand davor. $[latex]B\wedge A[/latex]$ 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 $[latex]\beta[/latex]$ 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