|
Hallo!
Könnte mir bitte jemand bei dieser Aufgabe helfen und zeigen wie ich so etwas am einfachsten aufschreibe? Wir haben mit der Aussagenlogik erst heute begonnen, also kompletter "Neuling" sozusagen. :-)
Formalisiere folgende Aussagen mittels Aussagenlogik: a) Von A, B und C gilt mindestens eines. b) Von A, B und C gilt genau eines. c) Von A, B und C gelten genau zwei.
Ich danke euch!
Für alle, die mir helfen möchten (automatisch von OnlineMathe generiert): "Ich möchte die Lösung in Zusammenarbeit mit anderen erstellen." |
|
|
Ich war im Februar auch Neuling darin.
Da aber jeder Prof bezogen auf die Notationen seine eigene Suppe kocht, ist Außenstehenden, auch wenn sie ich auskennen, nicht klar was die unbekannten Notationen bedeuten.
Wenn ich mich richtig erinnere, dann gibt es in der Aussagenlogik keine Quantoren, sondern nur "und, oder, nicht, =>, <=>" Ich habe sie als wahrheitsfunktionale Verknüpfungen kennengelernt.
Formalisiere folgende Aussagen mittels Aussagenlogik: a) Von A, B und C gilt mindestens eines. b) Von A, B und C gilt genau eines. c) Von A, B und C gelten genau zwei.
a bis c muss also ohne Quantoren geschrieben werden.
Ich will Dir jetzt auch nicht einfach die Lösung hinwerfen.
Kleine Hinweise, sind da besser.
Schau Dir noch einmal die Definitionen von und, oder an! Und danach die Aufgabe!
|
|
a) ist einfach: . Bei b) und c) sind etwas schwieriger, da muss auch zum Einsatz kommen.
|
|
. bei mit #A für "Aquer":
#B #C) (#A #C) (#A #B
|
|
Sind das nicht die Zeichen für Vereinigungs- und Durchschnittsmenge? Die gibts in der Aussagenlogik ja nicht, oder?
|
|
Doch, gibt sie, nur heißen Sie dann "ODER" und "UND". :-)
Na ja, wenn man sauber sein will, muss man dann und nutzen. Aber von der Bedeutung ist es kein Unterschied.
|
|
Stimmt mein Beispiel a) mit "ODER" so? Laut meiner Wahrheitstabelle müsste es passen.
|
|
Stimmt natürlich.
|
|
Kann mir bitte jemand bei b) weiterhelfen. Mit "und" und "oder" komm ich auf keinen grünen Zweig...
|
|
Nimm die Formel von Wolfgang und ersetze mit , mit und mit "nicht" (weiß nicht, wie das Zeichen mit LaTeX geht).
|
|
Passen b) und c) so?
|
|
Jawohl
|
|
Super! Danke an alle!!!
|