Formalisieren von Aussagen < Diskrete Mathematik < Hochschule < Mathe < Vorhilfe
|
Status: |
(Frage) überfällig | Datum: | 15:46 Mo 04.05.2009 | Autor: | pioneer |
Aufgabe | Formalisiere die folgenden Aussagen und beantworte die untenstehende
Frage:
(a) Jeder, der ein gutes Gehör hat, kann richtig singen.
(b) Jeder, der gut Klavier spielen kann, kann seine Zuhörerschaft begeistern.
(c) Niemand ist ein wahrhafter Musiker, wenn er nicht seine Zuhörerschaft
begeistern kann.
(d) Jemand, der kein gutes Gehör hat, kann seine Zuh¨orerschaft nicht begeistern.
(e) Niemand, außer einem wahrhaften Musiker, kann eine Symphonie schreiben.
Welche Eigenschaften muß jemand notwendigerweise besitzen, um eine
Symphonie zu schreiben? |
Hallo!
Ich möchte nur zur Sicherheit nachfragen, ob ich dieses Beispiel richtig verstehe.
für
(a)
A1: Jeder
A2: der ein gutes Gehör hat
A3: kann richtig singen.
(b)
A1: Jeder
A4: der gut Klavier spielen kann
A5: kann seine Zuhörerschaft begeistern.
(a)
A1 -> A2 -> A3
(b)
A1 -> A4 -> A5
daraus folgt:
A1 -> ((A2->A3) [mm] \wedge [/mm] (A4 -> A5))
Vielen Dank
pioneer
|
|
|
|
Status: |
(Mitteilung) Reaktion unnötig | Datum: | 16:20 Mi 06.05.2009 | Autor: | matux |
$MATUXTEXT(ueberfaellige_frage)
|
|
|
|