English Dictionary

closed formula

名詞

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

日本語の意味

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

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

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

意味（1）

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

closed formulas （ plural ）

closed formulae （ plural ）