Formalisierung, erfüll. Beleg. < Aussagenlogik < Logik < Logik+Mengenlehre < Hochschule < Mathe < Vorhilfe
|
| Status: |
(Frage) überfällig  | | Datum: | 15:45 Di 17.04.2007 | | Autor: | RalU |
| Aufgabe | | [Dateianhang nicht öffentlich] |
Meine Lösung zu a)
1. Wenn Herr Wiener morgens zu spät kommt, verpasst er den Bus.
2. Hat er diesen erstmal verpasst, kauft er sich eine Zeitung und ein Sandwich
3. Wenn er ein Sandwich kauft, frühstückt er nicht
4. Immer genau dann, wenn er frühstückt, geht er morgens zu spät aus dem Haus
1. x1 <-> x3 [mm] \wedge
[/mm]
2. x3 ->(x4 [mm] \wedge [/mm] x5) [mm] \wedge
[/mm]
3. (x4 [mm] \wedge [/mm] x5) -> [mm] \neg [/mm] x2 [mm] \wedge
[/mm]
4. x2 <-> x1
zu b) zunächst Umformungen:
1. x1 <-> x3 [mm] \wedge \Rightarrow (\neg [/mm] x1 [mm] \wedge \neg [/mm] x3) [mm] \vee [/mm] (x1 [mm] \wedge [/mm] x3)
2. x3 ->(x4 [mm] \wedge [/mm] x5) [mm] \Rightarrow (\neg [/mm] x3 [mm] \vee [/mm] (x4 [mm] \wedge [/mm] x5))
3. (x4 [mm] \wedge [/mm] x5) -> [mm] \neg [/mm] x2 [mm] \Rihgtarrow (\neg(x4 \wedge [/mm] x5) [mm] \vee \neg [/mm] x2)
4. x2 <-> x1 [mm] \Rightarrow (\neg [/mm] x2 [mm] \wedge \neg [/mm] x1) [mm] \vee [/mm] (x2 [mm] \wedge [/mm] x1)
Danach habe ich eine Wertetabelle erstellt mit [mm] 2^{n} [/mm] = [mm] 2^{5} [/mm] = 32 Zeilen, und 4 Spalten für die einzelnen Teilfunktionen. Als erfüllende Belegungen kamen nach Eintragen aller 1 sen am Ausgang nur die ersten 4 Zeilen in Frage, da nur dort alle 4 Teilfunktionen 1 lieferten.
Ich hoffe, dass das alles so richtig ist und auch die Art und Weise ok ist.
Aber wie gehe ich jetzt mit der Frage um "Ist Herr Wiener zu spät?"
Herr Wiener ist nur dann zu spät, wenn die ersten 4 Zeilen der Wertetabelle vorliegen, sprich, nur wenn diese Konstellationen vorliegen, oder irre ich mich da?
Dateianhänge:
Anhang Nr. 1 (Typ: JPG) [nicht öffentlich]
|
|
| |
|
| Status: |
(Mitteilung) Reaktion unnötig  | | Datum: | 16:20 Do 19.04.2007 | | Autor: | matux |
$MATUXTEXT(ueberfaellige_frage)
|
|
|
|
