Formalisieren < Aussagenlogik < Logik < Logik+Mengenlehre < Hochschule < Mathe < Vorhilfe
|
| Status: |
(Frage) beantwortet  | | Datum: | 18:22 Mi 21.11.2012 | | Autor: | hero85 |
| Aufgabe | | Folgende Aussage muss formalisiert werden |
Ich habe diese Frage in keinem Forum auf anderen Internetseiten gestellt.
Folgende Aussage soll formuliert werden:
Wenn Peter zu Hause ist und sich langweilt, oder zu Hause ist und arbeitet, oder er einfach nur einen schlechten Tag hatte, dann nervt er mich. Hat er gute Laune, dann
nervt er mich nicht.
Habe mir folgendes gedacht:
Wenn Peter zu Hause ist und sich langweilt (p)
oder
zu Hause ist und arbeitet (q)
oder
er einfach nur einen schlechten Tag hatte (r)
dann
nervt er mich (s)
Hat er gute Laune (t)
(p ∨ q ∨ r dann s ) t dann ¬
Könnt Ihr mir bitte sagen ob das richtig ist und wenn nicht mich berichtigen?
|
|
| |
|
> Folgende Aussage muss formalisiert werden
> Ich habe diese Frage in keinem Forum auf anderen
> Internetseiten gestellt.
> Folgende Aussage soll formuliert werden:
>
Hi
> Wenn Peter zu Hause ist und sich langweilt, oder zu Hause
> ist und arbeitet, oder er einfach nur einen schlechten Tag
> hatte, dann nervt er mich. Hat er gute Laune, dann
> nervt er mich nicht.
>
> Habe mir folgendes gedacht:
> Wenn Peter zu Hause ist und sich langweilt (p)
> oder
> zu Hause ist und arbeitet (q)
> oder
> er einfach nur einen schlechten Tag hatte (r)
> dann
> nervt er mich (s)
> Hat er gute Laune (t)
>
> (p ∨ q ∨ r dann s ) UND t dann ¬
>
> Könnt Ihr mir bitte sagen ob das richtig ist und wenn
> nicht mich berichtigen?
>
Ich gehe mal davon aus, dass ihr das atomar zerlegen sollt.
Dann wäre vielleicht besser:
h : Peter ist zuhause.
l : Peter ist langweilig.
a : Peter arbeitet.
s : Peter hat einen schlechten Tag.
n : Peter nervt mich.
Im groben ist dein Aufbau richtig.
"Peter hast gute Laune" ist vermutlich(!) die Verneinung der Aussage "Peter hat einen schlechten Tag". Das ist ziemlich unpräzise formuliert. Ich würde dennoch dies aufteilen
s : Peter hat einen schlechten Tag.
g : Peter hat gute Laune.
|
|
|
|
