www.matheraum.de
Das Matheforum.
Das Matheforum des MatheRaum.

Für Schüler, Studenten, Lehrer, Mathematik-Interessierte.
Hallo Gast!einloggen | registrieren ]
Startseite · Forum · Wissen · Kurse · Mitglieder · Team · Impressum
Forenbaum
^ Forenbaum
Status Mathe
  Status Schulmathe
    Status Primarstufe
    Status Mathe Klassen 5-7
    Status Mathe Klassen 8-10
    Status Oberstufenmathe
    Status Mathe-Wettbewerbe
    Status Sonstiges
  Status Hochschulmathe
    Status Uni-Analysis
    Status Uni-Lin. Algebra
    Status Algebra+Zahlentheo.
    Status Diskrete Mathematik
    Status Fachdidaktik
    Status Finanz+Versicherung
    Status Logik+Mengenlehre
    Status Numerik
    Status Uni-Stochastik
    Status Topologie+Geometrie
    Status Uni-Sonstiges
  Status Mathe-Vorkurse
    Status Organisatorisches
    Status Schule
    Status Universität
  Status Mathe-Software
    Status Derive
    Status DynaGeo
    Status FunkyPlot
    Status GeoGebra
    Status LaTeX
    Status Maple
    Status MathCad
    Status Mathematica
    Status Matlab
    Status Maxima
    Status MuPad
    Status Taschenrechner

Gezeigt werden alle Foren bis zur Tiefe 2

Navigation
 Startseite...
 Neuerdings beta neu
 Forum...
 vorwissen...
 vorkurse...
 Werkzeuge...
 Nachhilfevermittlung beta...
 Online-Spiele beta
 Suchen
 Verein...
 Impressum
Das Projekt
Server und Internetanbindung werden durch Spenden finanziert.
Organisiert wird das Projekt von unserem Koordinatorenteam.
Hunderte Mitglieder helfen ehrenamtlich in unseren moderierten Foren.
Anbieter der Seite ist der gemeinnützige Verein "Vorhilfe.de e.V.".
Partnerseiten
Mathe-Seiten:Weitere Fächer:

Open Source FunktionenplotterFunkyPlot: Kostenloser und quelloffener Funktionenplotter für Linux und andere Betriebssysteme
StartseiteMatheForenUni-SonstigesAussagenlogik
Foren für weitere Schulfächer findest Du auf www.vorhilfe.de z.B. Geschichte • Erdkunde • Sozialwissenschaften • Politik/Wirtschaft
Forum "Uni-Sonstiges" - Aussagenlogik
Aussagenlogik < Sonstiges < Hochschule < Mathe < Vorhilfe
Ansicht: [ geschachtelt ] | ^ Forum "Uni-Sonstiges"  | ^^ Alle Foren  | ^ Forenbaum  | Materialien

Aussagenlogik: Kriminalfall Rätsel
Status: (Frage) beantwortet Status 
Datum: 10:12 Do 03.02.2005
Autor: hjpavelka

Hallo Mathe Raum,

ich möchte folgendes Rätsel mit den Mittel der Aussagelogik lösen:

---------------------------------------------------------------------------------------
Vier Personen (a,b,c,d) sind verdächtigt einen Mord begangen zu haben.
Ist a unschuldig, dann ist auch b außer Verdacht und die Schuld von c wäre unzweifelhaft.
c hat ein absolut sicheres Alibi für die Tat.
Ist b schuldig, dann ist auch sowohl a wie auch c bei den Tätern.
Ist c unschuldig, dann ist auch d unschuldig.
-------------------------------------------------------------------------------------------

Ich habe nun die umgangsprachlichen Sätze in Formel umgewandelt:

( die Negation steht für schuldig )

[mm]A1: a\Rightarrow b\wedge\neg c[/mm]  
[mm]A2: \neg c[/mm]
[mm]A3: \neg b\Rightarrow \neg a\wedge\neg c[/mm]
[mm]A4: c\Rightarrow d[/mm]


Jetzt forme ich zur KNF um:

[mm]A1: (b\vee \neg a) \wedge (\neg c\vee \neg a)[/mm]
[mm]A2: \neg c[/mm]
[mm]A3: (\neg a \vee \neg a) \wedge (\neg c \vee \neg b) [/mm]
[mm]A4: (\neg c\vee d) [/mm]

Wenn ich das ganze nun in KV - Diagramm eintrage erhalte ich:

                     a,b
            00 01   11   10
       00|   0  0    0   0
c,d   01|   0  0   0    0
       11|   1  0    1   0
       10|   1  0    1   0

(Sorry ich hab ein KV Diagram nicht als Tex hinbekommen, ich hoffe man kann es trozdem lesen)


Diese Lösung verwundert mich, ich hatte erwartet das ich eine eindeutige Lösung bekomme.
Jetzt habe ich ja 4 alternativen wer die Mörder gewesen sein können...

Kann jemand meine Lösung bestätigen oder mir aufzeigen wo ich einen Fehler gemacht habe ?

Ist meine Vorgehensweise zur Lösung von Aufgaben des obigen Typus angebracht oder gibt es alternativen ?

Vielen Dank schonmal.

Post Scriptum:
Ich habe diese Frage in keinem Forum auf anderen Internetseiten gestellt.

        
Bezug
Aussagenlogik: Antwort
Status: (Antwort) fertig Status 
Datum: 11:34 Do 03.02.2005
Autor: pjoas

Hallo, dass einzige, was mir auffällt, ist  die Aussage 2 :

"c hat ein absolut sicheres Alibi für die Tat." demnach ist doch c unschuldig - oder?

Und dann haettest du eine recht einfache Kette

c ist unschuldig, dann eben auch d (nach Aussage 4), also kann b nicht schuldig sein (Aussage 3). Demnach bleiben doch nicht mehr viele übrig.

Sollte aber auch über das Diagramm dann ablesbar sein.

Gruß, Patrick



Bezug
                
Bezug
Aussagenlogik: Mitteilung
Status: (Mitteilung) Reaktion unnötig Status 
Datum: 11:57 Do 03.02.2005
Autor: hjpavelka


Es war vieleicht gar nicht deine Absicht, aber du hast mich genau auf den Fehler in der gestoßen !

"c hat ein absolut sicheres Alibi für die Tat." demnach ist doch c unschuldig - oder?"

Und ich habe geschrieben:

( die Negation steht für schuldig )

[mm]A1: a\Rightarrow b\wedge\neg c[/mm]
[mm]A2: \neg c[/mm]


Hier hab ich also schon einen Fehler gemacht, den A2 muss ja sein [mm] A2: c [/mm]

Wenn ich die Formeln entsprechend korregiere kann ich tatsächlich die von dir genannte Antwort aus dem KV Diagramm ablesen.


Vielen Dank !!!

Bezug
Ansicht: [ geschachtelt ] | ^ Forum "Uni-Sonstiges"  | ^^ Alle Foren  | ^ Forenbaum  | Materialien


^ Seitenanfang ^
www.matheforum.net
[ Startseite | Forum | Wissen | Kurse | Mitglieder | Team | Impressum ]