元となった辞書の項目
closed formula
名詞
日本語の意味
全ての変数が量化子などによって束縛され、自由変数が一切存在しない論理式。 / 自由変数を含まない式 / すべての変数が束縛されており、外部の文脈に依存しない論理式
（ plural ）
（ plural ）
（ plural ）
（ plural ）
DiQt（ディクト）
無料
★★★★★★★★★★
