Diskussion:Belegung (Mathematik)

aus Wikipedia, der freien Enzyklopädie
Letzter Kommentar: vor 16 Jahren von Jazzman in Abschnitt Logik
Zur Navigation springen Zur Suche springen

Tut mir leid, der Artikel war mein erster Versuch, das Festzuhalten. Ich habe den Begriff der Variablenbelegung für die Definition der Schaltfunktion gebraucht. Da noch nichts da stand, habe ich gedacht, irgendwas ist vermutlich besser als gar nichts. Nun ja, war wohl'n Griff ins Klo...

Ich versuch es erstmal hier, vielleicht kann man es ja Teile davon irgendwie verwerten. Ich sehe ein das es schwieriger ist, als ich zunächst angenommen habe, diese Dinge unabhängig von meinem persönlichen Background zu erklären. Aber versuchen wirs mal.

In der theoretischen Informatik (das ist der Berreich mit dem ich mich ein bißchen auskenne, ich nehme aber an, das man den Begriffso oder ähnlich auch in der Logik verwendet) wird der Begriff der Variablenbelegung vor allem dann benutzt, wenn man Variablen selbst als Objekte zum Beispiel als Atome einer formalen Sprache betrachtet.

Ein Blödes Beispiel: Angenommen wir wollen Syntax und Semantik der Aussagenlogischen Formeln definieren. Sei also eine Menge atomarer Aussagen. Wir definieren Die Sprache der aussagenlogischen Formeln als die Menge aller Formeln, die nach den folgenden Regeln gebildet werden können:

  • ist eine Formel
  • jede atomare Aussage ist eine Formel
  • Wenn und Formeln sind, dann auch und
  • nichts sonst ist eine Formel.

Ok, damit hat man den Syntax festgenagelt (andere Operatoren wie oder lassen sich abbleiten). Wir wissen damit, das ein Wort wie z.B. eine aussagenlogische Formel über die atomaren Aussagen ist. Aber was ist die Semantik?

Hierfür kann man den Begriff der Variablenbelegung gut gebrauchen. Man kann ja die atomaren Aussagen als Variablen auffassen. Dann wäre z.B. und Eine Belegung von ist dann eine Abbildung, die jeder der Atomaren Aussagen entweder 1 oder 0 zuweißt, jenachdem, ob diese zutreffend sind oder nicht.

z.B. könnte für die Aussage "Es regnet." stehen, für "Mein Schirm ist kapput." und für "Ich besitze keinen Schirm." Eine Belegung für , die meinen augenblicklichen Status quo beschriebe, wäre

Für die oben formulierte Formelsprache läßt sich nun leicht eine Semantik bezüglich des Wahrheitsgehaltes der in der Sprache verwendeten, atomaren Aussagen festlegen. Diese Semantik beschreiben wir durch eine "erfüllt"-Relation . Wir schreiben als Abkürzung für und meinen damit, daß die Belegung die Aussagenlogische Formel efüllt. Genauer:

Sei und seien Formeln wie oben, dann gilt für alle Belegungen

  • erfüllt , in Zeichen: .
  • gdw.
  • gdw.
  • gdw. und

(Die Semantik für , etc ließe sich analog herleiten.)

Man überzeugt sich leicht davon, daß diese Semantik genau mit unserer intuitiven Leseart übereinstimmt. Z.B. gilt . Steht also die Formel für die Frage, ob man heute Abend noch etwas unternehmen sollte, und für die Augenblicklich geltenden Bedingungen, dann ist unmittelbar einsichtig, daß ich aufhören sollte, meine Zeit am Rechner zu vergeuden :-)


So. Das wäre zumindest *ein* Beispiel, wofür man Belegungen braucht. Gibt es andere Vorschläge/Definitionen? --lu 22:21, 17. Feb 2006 (CET)

Schreib das nicht auf die Diskussionsseite, sondern in den Artikel. --Mkill 03:44, 18. Mär 2006 (CET)

"Totale" Belegung?

[Quelltext bearbeiten]

Ich stieß auf diesen Eintrag auf der Suche nach einer Definition für eine "totale Belegung". In meinem schlechten Logikskript taucht es immer wieder auf, bloß nicht einmal eine Definition davon. Vielleicht kann das noch jemand mit reinnehmen, der bescheid weiß. Danke.

Eine Definition dazu habe ich ebenfalls auf die Schnelle nicht finden können. Das naheliegenste scheint mir zu sein, eine totale Belegung als eine Belegung zu sein, die tatsächlich jeder Variablen einen Wert zuweißt, im Gegensatz zu einer partiellen Belegung (ich nenne das jetzt mal so), die bewußt einige Variablen unbelegt läßt. Zumindest wäre das konsistent mit der Definition der Partiellen Funktion. Würde das in deinem Kontext Sinn ergeben? --lu 13:07, 28. Feb 2006 (CET)
Hier widersprichst du dir in meinen Augen selbst: nach deinen Worten ist eine Belegung eine Abbildung, und Abbildungen weisen jedem Element des Definitionsbereiches einen Wert zu. Ich bin Mathematiker, und ich kannte das Wort Belegung als präzise definierten Begriff bisher nicht. Umgangssprachlich wird es, glaube ich, mal für die Abbildung, mal für die Werte einzelner Variablen (=Teilmenge des Definitionsbereiches) verwendet.

Logik

[Quelltext bearbeiten]

Wie aus der obigen Diskussion richtig hervorgeht, ist der Begriff "Belegung" nicht nur in der Mathematik wie beschrieben belegt (Achtung Regress ;-) sondern allgemein in der Logik (soweit ich weiß jedenfalls). Sollte man das nicht mal im Lemma ändern und im Artikel entsprechend vermerken? --Jazzman KuKa 20:04, 30. Jan. 2008 (CET)Beantworten