最終更新日：2025/11/29

(logic) A formula which has no free occurrences of variables; or equivalently, in which all occurrences of variables are bound.

音声機能が動作しない場合はこちらをご確認ください

正解を見る

closed formula

元となった辞書の項目

closed formula

名詞

日本語の意味

全ての変数が量化子などによって束縛され、自由変数が一切存在しない論理式。 / 自由変数を含まない式 / すべての変数が束縛されており、外部の文脈に依存しない論理式

In first-order logic, proving that a closed formula is valid requires showing that it is true under every interpretation.

一階述語論理では、自由変数を含まない式が妥当であることを証明するには、それがすべての解釈の下で真であることを示す必要がある。

意味（1）

closed formulas

（ plural ）

closed formulae

（ plural ）