Mathematik online lernen im Mathe-Forum. Nachhilfe online
Startseite » Forum » Aussagenlogik

Aussagenlogik

Universität / Fachhochschule

Sonstiges

Tags: Sonstiges

 
Antworten Neue Frage stellen Im Forum suchen
Neue Frage
Sheya

Sheya aktiv_icon

21:08 Uhr, 21.05.2012

Antworten
Hallo!

habe ein Problem mit der Aufgabe...

wie schreibt man sowas als 'Formel'?


Betrachten Sie folgende „Logelei“:

Die Drillinge Anton, Bernd und Christian stehen davor, sich an der Universität entweder für das Studienfach Mathematik oder für Informatik einzuschreiben, und diskutieren darüber, wer sich für welches Fach
entscheiden sollte. Dabei hat jeder der Drei bestimmte Wunschvorstellungen. So verkündet Bernd sofort,
dass er Mathematik studieren will, falls einer seiner beiden Brüder sich für Informatik einschreiben sollte.
Christian hingegen will Informatik studieren, wenn Bernd dies ebenfalls tut oder wenn Anton sich für Mathematik entscheidet. Um die Angelegenheit noch komplizierter zu machen, mischt sich Anton ein und sagt:
„Wenn Bernd Mathe studiert, dann tu ich das auch!“. Daraufhin erwidert Christian: „Solltest du dich aber
doch für Informatik entscheiden, Anton, dann werde ich es dir gleich tun.“



Geben Sie eine aussagenlogische Formel für die „Logelei“ an!



das ist die aufgabe!

hoffe man kann mir weiterhelfen...

Für alle, die mir helfen möchten (automatisch von OnlineMathe generiert):
"Ich möchte die Lösung in Zusammenarbeit mit anderen erstellen."
Online-Nachhilfe in Mathematik
Antwort
hagman

hagman aktiv_icon

23:02 Uhr, 21.05.2012

Antworten
Mit A für "Anton studiert Mathe", B für "Bernd studiert Mathe", C für "Christian studiert Mathe" (und implizit ¬A für "Anton studiert Informatik" usw.)

Bernds Aussage:
(¬A¬C)B
Christians erste Aussage:
(¬BA)¬C
Anton:
BA
Christians zweite Aussage:
¬A¬C
Alles zusammen
((¬A¬C)B)((¬BA)¬C)(BA)(¬A¬C)

-
vereinfacht:
AB¬C
Frage beantwortet
Sheya

Sheya aktiv_icon

11:02 Uhr, 22.05.2012

Antworten
Danke hangman!


DU hast mir echt weiter geholfen. Quasi schon die aufgabe gelöst ^.

Ich werde dann die herleitung selber machen!


VIELEN VIELEN DANK!!!!