Belegung

die

[bəˈleːɡʊŋ]名詞複数形: Belegungen

定義

割り当て- 値の割り当てまたは対応付け、配置設定。

Zuweisung oder Zuordnung eines Wertes, Konfiguration

„Das Koinzidenzlemma in der Aussagenlogik beschreibt das Verhalten einer gegebenen aussagenlogischen Formel hinsichtlich der Belegung seiner Aussagenvariablen.“

「命題論理における一致補題は、与えられた命題論理式の命題変数への割り当てに関する振る舞いを記述する。」