Aussagenlogik < Logik < Logik+Mengenlehre < Hochschule < Mathe < Vorhilfe
|
Ich habe diese Frage in keinem Forum auf anderen Internetseiten gestellt.
Hallo,
noch eine Frage zu einer bestimmten Aufgabe:
Nach einem Fussballspiel:
E1: Wenn der Schiedsrichter nicht blind ist, dann war der Elfmeter berechtigt oder der Schiedsrichter stand ungünstig.
E2: Wenn der Schiedsrichter nicht blind ist, dann stand er auch nicht ungünstig.
E3: Wenn der Schiedsrichter blind ist, fresse ich einen Besen.
E2: E3 frisst keinen besen.
Meine Idee ist die Aussagen wie folgt zu belegen:
A = Scheidsrichter ist blind
B = Elfmeter war berechtigt
C = Schiedsrichter stand günstig
D = frisst einen Besen
Es folgen also die Formel der Aussagen
F1 = [mm] \neg [/mm] A [mm] \Rightarrow [/mm] B [mm] \vee [/mm] C
F2 = [mm] \neg [/mm] A [mm] \Rightarrow [/mm] C
F3 = A [mm] \Rightarrow [/mm] D
F4 = [mm] \neg [/mm] D
F = F1 [mm] \wedge [/mm] F2 [mm] \wedge [/mm] F3 [mm] \wedge [/mm] F4
ist das richtig?
|
|
| |
|
| Status: |
(Antwort) fertig  | | Datum: | 19:56 Di 09.03.2010 | | Autor: | Cybrina |
Soweit stimmt alles. Weißt du auch wie du weiter machst?
Wenn du es "ganz genau" machen willst, müsstest du bei deinen Formalisierungen übrigens noch ein paar Klammern dazufügen, damit es eindeutig wird.
|
|
|
| |
|
HI,
ja danke. bei der ersten Formle fehlen die Klammern.
Wie man das auseinander baut weiß ich.
|
|
|
|
