matheraum.de
Raum für Mathematik
Offene Informations- und Nachhilfegemeinschaft

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
Dt. Schulen im Ausland: Mathe-Seiten:Weitere Fächer:

Open Source FunktionenplotterFunkyPlot: Kostenloser und quelloffener Funktionenplotter für Linux und andere Betriebssysteme
StartseiteMatheForenAussagenlogikAufgaben Lösungsansatz
Foren für weitere Schulfächer findest Du auf www.vorhilfe.de z.B. Deutsch • Englisch • Französisch • Latein • Spanisch • Russisch • Griechisch
Forum "Aussagenlogik" - Aufgaben Lösungsansatz
Aufgaben Lösungsansatz < Aussagenlogik < Logik < Logik+Mengenlehre < Hochschule < Mathe < Vorhilfe
Ansicht: [ geschachtelt ] | ^ Forum "Aussagenlogik"  | ^^ Alle Foren  | ^ Forenbaum  | Materialien

Aufgaben Lösungsansatz: Frage (beantwortet)
Status: (Frage) beantwortet Status 
Datum: 11:53 So 13.04.2014
Autor: alinus

Aufgabe
Student Alois berichtet in seiner bekannt zurückhaltenden Art von den Ergebnissen seiner Exa-
mensklausuren:
"Ich habe in Mathematik und in Betriebswirtschaftslehre bestanden, oder es trifft nicht zu,
dass  ich  in Mathematik oder Volkswirtschaftslehre bestanden habe.
Außerdem  ist  es  unzutreffend,  dass ich in Mathematik bestanden habe oder in Betriebs-
wirtschaftslehre durchgefallen bin."
Wie sieht das Ergebnis von Alois Prüfung aus?

Ich habe oben genannte Aufgabe zu Lösen. Dabei habe ich leider Schwierigkeiten, die Aufgabe Formal darzustellen.

Könnte man das evtl. folgendermaßen darstellen:

M = Mathe
B = BWL
V = Volkswirtschaftslehre

(M [mm] \wedge [/mm] B) [mm] \vee \neg [/mm] (M  [mm] \vee [/mm] V) [mm] \wedge \neg(M \vee \neg [/mm] B)

Ich weiß leider nicht, wie ich das weiter auswerten soll. Oder sollte ich
anders vorgehen? Wäre über einen Ansatz oder andere Hilfestellung dankbar.

Viele Grüße,
alinus

        
Bezug
Aufgaben Lösungsansatz: Antwort
Status: (Antwort) fertig Status 
Datum: 12:11 So 13.04.2014
Autor: felixf

Moin alinus!

> Student Alois berichtet in seiner bekannt zurückhaltenden
> Art von den Ergebnissen seiner Exa-
>  mensklausuren:
> "Ich habe in Mathematik und in Betriebswirtschaftslehre
> bestanden, oder es trifft nicht zu,
> dass  ich  in Mathematik oder Volkswirtschaftslehre
> bestanden habe.
> Außerdem  ist  es  unzutreffend,  dass ich in Mathematik
> bestanden habe oder in Betriebs-
>  wirtschaftslehre durchgefallen bin."
> Wie sieht das Ergebnis von Alois Prüfung aus?
>  Ich habe oben genannte Aufgabe zu Lösen. Dabei habe ich
> leider Schwierigkeiten, die Aufgabe Formal darzustellen.
>
> Könnte man das evtl. folgendermaßen darstellen:
>  
> M = Mathe
> B = BWL
>  V = Volkswirtschaftslehre
>  
> (M [mm]\wedge[/mm] B) [mm]\vee \neg[/mm] (M  [mm]\vee[/mm] V) [mm]\wedge \neg(M \vee \neg[/mm]
> B)

Da solltest du noch mehr Klammern setzen: $((M [mm] \wedge [/mm] B) [mm] \vee \neg [/mm] (M [mm] \vee [/mm] V)) [mm] \wedge \neg(M \vee \neg [/mm] B)$.

> Ich weiß leider nicht, wie ich das weiter auswerten soll.

Verwende die logischen Umformungen, die du kennst: De Morgan hilft hier z.B. weiter, und ebenso die Distributivgesetze $x [mm] \vee [/mm] (y [mm] \wedge [/mm] z) = (x [mm] \vee [/mm] y) [mm] \wedge [/mm] (x [mm] \vee [/mm] z)$ und $x [mm] \wedge [/mm] (y [mm] \vee [/mm] z) = (x [mm] \wedge [/mm] y) [mm] \vee [/mm] (x [mm] \wedge [/mm] z)$.) Versuche es damit zu einer der Aussagen $M [mm] \wedge [/mm] B$, $M [mm] \wedge \neg [/mm] B$, [mm] $\neg [/mm] M [mm] \wedge [/mm] B$ oder [mm] $\neg [/mm] M [mm] \wedge \neg [/mm] B$ umzuformen: diese liefern direkt eine eindeutige Loesung.

LG Felix


Bezug
                
Bezug
Aufgaben Lösungsansatz: Frage (beantwortet)
Status: (Frage) beantwortet Status 
Datum: 17:32 Sa 10.05.2014
Autor: alinus

Vielen Dank für die Amtwort!

$ ((M [mm] \wedge [/mm] B) [mm] \vee \neg [/mm] (M [mm] \vee [/mm] V)) [mm] \wedge \neg(M \vee \neg [/mm] B) $

Wenn ich nun das De Morgan Gesetz auf den zweiten Term [mm] \neg [/mm] (M [mm] \vee [/mm] V) anwende, dann erhalte ich :

$ ((M [mm] \wedge [/mm] B) [mm] \vee (\neg [/mm] M [mm] \wedge \neg [/mm] V)) [mm] \wedge \neg(M \vee \neg [/mm] B) $

Wie kann ich auf den Term ((M [mm] \wedge [/mm] B) [mm] \vee (\neg [/mm] M [mm] \wedge \neg [/mm] V)) das Distributivgesetz anwenden? Ich weiß nicht wie ich mit dem [mm] \neg [/mm] umgehen soll.
Und wie kann ich das V "loswerden"?

Bezug
                        
Bezug
Aufgaben Lösungsansatz: Antwort
Status: (Antwort) fertig Status 
Datum: 21:55 Sa 10.05.2014
Autor: felixf

Moin!

> Vielen Dank für die Amtwort!
>  
> [mm]((M \wedge B) \vee \neg (M \vee V)) \wedge \neg(M \vee \neg B)[/mm]
>  
> Wenn ich nun das De Morgan Gesetz auf den zweiten Term [mm]\neg[/mm]
> (M [mm]\vee[/mm] V) anwende, dann erhalte ich :
>  
> [mm]((M \wedge B) \vee (\neg M \wedge \neg V)) \wedge \neg(M \vee \neg B)[/mm]
>  
> Wie kann ich auf den Term ((M [mm]\wedge[/mm] B) [mm]\vee (\neg[/mm] M [mm]\wedge \neg[/mm]
> V)) das Distributivgesetz anwenden? Ich weiß nicht wie ich
> mit dem [mm]\neg[/mm] umgehen soll.

Nun, $(a [mm] \wedge [/mm] b) [mm] \vee [/mm] (c [mm] \wedge [/mm] d) = (a [mm] \vee [/mm] c) [mm] \wedge [/mm] (a [mm] \vee [/mm] d) [mm] \wedge [/mm] (b [mm] \vee [/mm] c) [mm] \wedge [/mm] (b [mm] \vee [/mm] d)$.

Wenn du jetzt $a = M$, $b = B$, $c = [mm] \neg [/mm] M$ und $d = [mm] \neg [/mm] V$ einsetzt, bekommst du $(M [mm] \vee \neg [/mm] M) [mm] \wedge [/mm] (M [mm] \vee \neg [/mm] V) [mm] \wedge [/mm] (B [mm] \vee \neg [/mm] M) [mm] \wedge [/mm] (B [mm] \vee \neg [/mm] V)$. Nun ist $M [mm] \vee \neg [/mm] M = 1$, womit $(M [mm] \vee \neg [/mm] V) [mm] \wedge [/mm] (B [mm] \vee \neg [/mm] M) [mm] \wedge [/mm] (B [mm] \vee \neg [/mm] V)$ uebrigbleibt.

> Und wie kann ich das V "loswerden"?

Sorry, das hatte ich vergessen. Versuche etwas der Form $a [mm] \wedge [/mm] b [mm] \wedge [/mm] c$ mit $a [mm] \in \{ M, \neg M \}$, [/mm] $b [mm] \in \{ B, \neg B \}$ [/mm] und $c [mm] \in \{ V, \neg V \}$ [/mm] zu bekommen.

Ich wuerd allerdings nicht bei den ersten beiden Termen das Distributivitaetsgesetz verwenden, sondern versuchen das durch Umformungen in eine Art disjunktive Normalform zu bekommen. Dazu verwende das Distributivgesetz von der ersten grossen Klammer mit dem hinteren Ausdruck, und dann mach mit den Teilausdrucken weiter.

LG Felix


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


^ Seitenanfang ^
www.matheraum.de
[ Startseite | Forum | Wissen | Kurse | Mitglieder | Team | Impressum ]