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
StartseiteMatheForenAussagenlogikAufgabe logisch darstellen
Foren für weitere Schulfächer findest Du auf www.vorhilfe.de z.B. Deutsch • Englisch • Französisch • Latein • Spanisch • Russisch • Griechisch
Forum "Aussagenlogik" - Aufgabe logisch darstellen
Aufgabe logisch darstellen < Aussagenlogik < Logik < Logik+Mengenlehre < Hochschule < Mathe < Vorhilfe
Ansicht: [ geschachtelt ] | ^ Forum "Aussagenlogik"  | ^^ Alle Foren  | ^ Forenbaum  | Materialien

Aufgabe logisch darstellen: Interpretation der Lösung
Status: (Frage) beantwortet Status 
Datum: 13:02 Fr 14.10.2011
Autor: Syrtox

Aufgabe
Drücken Sie den Speiseplan verstandlich aus.
Wenn Sie kein Brot reichen, dann gibt es zu jeder Mahlzeit Eiscreme.
Wenn Brot und Eiscreme zur gleichen Mahlzeit serviert wird, dann darf es dazu keine sauren Gurken geben.
Wenn saure Gurken gereicht werden oder Brot nicht serviert wird, dann darf es keine Eiscreme geben.

Wieviel und welche Gerichte werden angeboten?

Grüße an die Foren-Gemeinde,

Unser Prof. hat uns in seiner Vorlesung diese Aufgabe gestellt. Nun haben wir im Übungsseminar dieses Aufgabe durchgerechnet.

b = Brot
e = Eis
g = Gurken

1.) [mm] \neg [/mm] b [mm] \Rightarrow [/mm] e
2.) b [mm] \wedge [/mm] e [mm] \Rightarrow \neg [/mm] g
3.] g [mm] \vee \neg [/mm] b [mm] \Rightarrow \neg [/mm] e

[mm] (\neg [/mm] b [mm] \Rightarrow e)\wedge( [/mm] b [mm] \wedge [/mm] e [mm] \Rightarrow \neg [/mm] g [mm] )\wedge( [/mm] g [mm] \vee \neg [/mm] b [mm] \Rightarrow \neg [/mm] e )

nach allen Rechnungsschritten, unter Berücksichtigung aller Regeln der Boolschen Algebra, kamen wir zu folgenden Ergebnis:

b [mm] (\neg [/mm] e [mm] \vee \neg [/mm] g)

Die Schlussfolgerung und das Ergebnis vom Prof.:
Es gibt 3 Mahlzeiten, bestehend aus Brot und Eis, nur Brot, sowie Brot und Gurken.

Nun meine Frage: Im Ergebnis sind g und e negiert, warum werden Sie dann trotzdem als Mahlzeit gereicht. Ich hoffe ihr könnt mein Problem soweit nachvollziehen.

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

        
Bezug
Aufgabe logisch darstellen: Antwort
Status: (Antwort) fertig Status 
Datum: 13:11 Fr 14.10.2011
Autor: Blech

Hi,

weil sie mit "oder" verknüpft sind und nur eins von beiden gelten muß.

ciao
Stefan

Bezug
        
Bezug
Aufgabe logisch darstellen: Antwort
Status: (Antwort) fertig Status 
Datum: 13:30 Fr 14.10.2011
Autor: reverend

Hallo Syrtox, [willkommenmr]

> Drücken Sie den Speiseplan verstandlich aus.
> Wenn Sie kein Brot reichen, dann gibt es zu jeder Mahlzeit
> Eiscreme.
> Wenn Brot und Eiscreme zur gleichen Mahlzeit serviert wird,
> dann darf es dazu keine sauren Gurken geben.
>  Wenn saure Gurken gereicht werden oder Brot nicht serviert
> wird, dann darf es keine Eiscreme geben.
>  
> Wieviel und welche Gerichte werden angeboten?
>  Grüße an die Foren-Gemeinde,
>  
> Unser Prof. hat uns in seiner Vorlesung diese Aufgabe
> gestellt. Nun haben wir im Übungsseminar dieses Aufgabe
> durchgerechnet.
>  
> b = Brot
>  e = Eis
>  g = Gurken
>  
> 1.) [mm]\neg[/mm] b [mm]\Rightarrow[/mm] e
>  2.) b [mm]\wedge[/mm] e [mm]\Rightarrow \neg[/mm] g
>  3.] g [mm]\vee \neg[/mm] b [mm]\Rightarrow \neg[/mm] e
>  
> [mm](\neg[/mm] b [mm]\Rightarrow e)\wedge([/mm] b [mm]\wedge[/mm] e [mm]\Rightarrow \neg[/mm] g
> [mm])\wedge([/mm] g [mm]\vee \neg[/mm] b [mm]\Rightarrow \neg[/mm] e )
>  
> nach allen Rechnungsschritten, unter Berücksichtigung
> aller Regeln der Boolschen Algebra, kamen wir zu folgenden
> Ergebnis:
>  
> b [mm](\neg[/mm] e [mm]\vee \neg[/mm] g)

Hier fehlt ein "und". [mm] \quad b\blue{\wedge}(\neg e\vee \neg g) [/mm]

> Die Schlussfolgerung und das Ergebnis vom Prof.:
>  Es gibt 3 Mahlzeiten, bestehend aus Brot und Eis, nur
> Brot, sowie Brot und Gurken.
>  
> Nun meine Frage: Im Ergebnis sind g und e negiert, warum
> werden Sie dann trotzdem als Mahlzeit gereicht. Ich hoffe
> ihr könnt mein Problem soweit nachvollziehen.

Die Klammer besagt doch: "nicht e" ODER "nicht g", wobei das ODER ein logisches ist, also auch erfüllt ist, wenn "nicht e" und "nicht g" gleichzeitig wahr sind.

Die einzige Möglichkeit, die Klammer nicht zu erfüllen, ist dann gegeben, wenn e und g zugleich wahr sind.

Du könntest das Ergebnis daher auch so schreiben:

[mm] b\wedge(\overline{e\wedge g}) [/mm]

Mach Dir im Zweifelsfall immer eine Wertetabelle. Bei drei Ereignissen/Aussagen sind es ja nur 8 Möglichkeiten.

Grüße
reverend

> Ich habe diese Frage in keinem Forum auf anderen
> Internetseiten gestellt.


Bezug
        
Bezug
Aufgabe logisch darstellen: Mitteilung
Status: (Mitteilung) Reaktion unnötig Status 
Datum: 15:57 Fr 14.10.2011
Autor: Al-Chwarizmi


> Drücken Sie den Speiseplan verständlich aus.
> Wenn Sie kein Brot reichen, dann gibt es zu jeder Mahlzeit
> Eiscreme.
> Wenn Brot und Eiscreme zur gleichen Mahlzeit serviert wird,
> dann darf es dazu keine sauren Gurken geben.
>  Wenn saure Gurken gereicht werden oder Brot nicht serviert
> wird, dann darf es keine Eiscreme geben.
>  
> Wieviel und welche Gerichte werden angeboten?
>  Grüße an die Foren-Gemeinde,
>  
> Unser Prof. hat uns in seiner Vorlesung diese Aufgabe
> gestellt.


Wenigstens darf man froh sein, dass dieser Herr es nicht
in die Gastronomie-Branche geschafft hat !

(Ein Gericht aus sauren Gurken und Eiscreme - mit oder
ohne Brot nicht unbedingt verlockend ...)

LG   Al

Bezug
                
Bezug
Aufgabe logisch darstellen: Mitteilung
Status: (Mitteilung) Reaktion unnötig Status 
Datum: 18:22 Fr 14.10.2011
Autor: reverend

Hallo Al,

> Wenigstens darf man froh sein, dass dieser Herr es nicht
>  in die Gastronomie-Branche geschafft hat !
>  
> (Ein Gericht aus sauren Gurken und Eiscreme - mit oder
>  ohne Brot nicht unbedingt verlockend ...)

Also ich kann mir ein Halbgefrorenes vom Prager-Schinken-Jus mit Cornichonsstücken gut auf einem tomatisierten Roggenciabattascheibchen vorstellen, vielleicht mit einer Käsemeringue leicht gratiniert, dazu ein lauwarmer Puy-Linsensalat mit einigen roten Johannesbeeren (Meertrübeli) und Confit d'oignon auf einem Radicchioblatt angerichtet.

Dazu ein Glas Fendant aus dem Wallis, also da könnte ich sogar ohne Logik leben.

Leider misslingt die Käsemeringue allzu leicht.

Grüße
reverend

PS: oh, pardon - Johannis... natürlich. Genitiv.

Bezug
Ansicht: [ geschachtelt ] | ^ Forum "Aussagenlogik"  | ^^ Alle Foren  | ^ Forenbaum  | Materialien


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