Modell+nicht erfüllte Belegung < Logik < Logik+Mengenlehre < Hochschule < Mathe < Vorhilfe
|
| Aufgabe | Benutzen Sie folgende Aussagevariablen:
T-Das Thermometer zeigt mehr als 28 Gard Celsius an.
M-Moritz geht zur Vorlesung Mathematische Grundlagen der Informatik
K-Moritz geht zur Vorlesung Konzepte der Modellierung
b-Moritz geht baden
Drücken Sie folgende Sätze durch aussagenlogische Formeln aus, in denen nur obige Aussagenvariablen vorkommen.
a) Moritz geht immer baden, wenn das Thermometer über 28 Grad Celsius ansteigt.
b) Moritz geht sowohl baden, als auch zur Vorlesung Mathematische Grundlagen der Informatik.
c) Bei Temperaturen bis 28 Grad Celsius besucht Moritz die Vorlesung Mathematische Grundlagen der Informatik und Konzepte der Modellierung.
Geben Sie für jede Formel je ein Modell und eine nichterfüllende Belegung an. |
Meine Lösungen:
a) T [mm] \Rightarrow [/mm] B
Modell: w(T)=1 und w(B)=1
nichterfüllte Belegung für w(T)=1 und w(b)=0
b) B V M
Modell: w(B)=1 und w(M)=1
nichterfüllte Belegung für w(B)=1 und w(M)=0
c) [mm] \neg [/mm] T [mm] \Rightarrow [/mm] (M [mm] \vee [/mm] K)
Modell: w(T)=falsch, w(M)=1 und w(K)=1
nichterfüllte Belegung für w(T)=w(M)=w(K)=0
So. Ich denke mal, dass das richtig sein müsste, aber ich bezweifle, dass ich das jetzt formgemäß aufgeschrieben habe. Kann mir da jemand sagen, wie ich das in die richtige mathematische Form bringe oder kann ich das so lassen?
|
|
| |
|
| Status: |
(Mitteilung) Reaktion unnötig  | | Datum: | 11:20 Di 24.10.2006 | | Autor: | matux |
$MATUXTEXT(ueberfaellige_frage)
|
|
|
|
