Diskussion:Belegung (Mathematik)

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 Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle AP=\{a_1,\ldots,a_n\}} eine Menge atomarer Aussagen. Wir definieren Die Sprache der aussagenlogischen Formeln $L$ als die Menge aller Formeln, die nach den folgenden Regeln gebildet werden können:

• $true$ ist eine Formel
• jede atomare Aussage Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle a_i} ist eine Formel
• Wenn Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \Phi_1, \Phi_2} und Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \Phi} Formeln sind, dann auch Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle (\neg\Phi)} und Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle (\Phi_1\wedge\Phi_2)}
• nichts sonst ist eine Formel.

Ok, damit hat man den Syntax festgenagelt (andere Operatoren wie $\vee$ oder $\leftrightarrow$lassen sich abbleiten). Wir wissen damit, das ein Wort wie z.B. $\Phi _{Ausgehen}=\neg (a_{1}\wedge (a_{2}\vee a_{3}))$ eine aussagenlogische Formel über die atomaren Aussagen $a_{1},a_{2},a_{3}$ 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. Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle Var=AP=\{a_1,a_2,a_3\}} und Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle Dom(Var)=\{0,1\}} Eine Belegung von Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle Var} 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 Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle a_1} für die Aussage "Es regnet." stehen, Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle a_2} für "Mein Schirm ist kapput." und Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle a_3} für "Ich besitze keinen Schirm." Eine Belegung für Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle Var} , die meinen augenblicklichen Status quo beschriebe, wäre

Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \eta_{lu}:Var\to\{0,1\}, \eta_{lu}(a_1)=0,\eta_{lu}(a_2)=0,\eta_{lu}(a_3)=1}

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 $\models \subseteq Eval(Var)\times L$. Wir schreiben Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \eta\models\Phi} als Abkürzung fürFehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \langle\eta,\Phi\rangle\in\models} und meinen damit, daß die Belegung Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \eta} die Aussagenlogische Formel Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \Phi} efüllt. Genauer:

Sei Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle a_i\in Var} und seien Fehler beim Parsen (Konvertierungsfehler. Der Server („https://wikimedia.org/api/rest_“) hat berichtet: „Cannot get mml. Server problem.“): {\displaystyle \Phi _{1},\Phi _{2},\Phi } Formeln wie oben, dann gilt für alle Belegungen Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \eta\in Eval(Var)}

• Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \eta} erfüllt Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle true} , in Zeichen: Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \eta\models true} .
• Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \eta\models a_i} gdw. $\eta (a_{i})=1$
• Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \eta\models(\neg\Phi)} gdw. Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \eta\not\models\Phi}
• Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \eta\models(\Phi_1\wedge\Phi_2)} gdw. Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \eta\models\Phi_1} und Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \eta\models\Phi_2}

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

Man überzeugt sich leicht davon, daß diese Semantik genau mit unserer intuitiven Leseart übereinstimmt. Z.B. gilt Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \eta_{lu}\models\Phi_{Ausgehen}} . Steht also die Formel Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \Phi_{Ausgehen}} für die Frage, ob man heute Abend noch etwas unternehmen sollte, und Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \eta_{lu}} 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?

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

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)