閉論理式
自由変数を持たない論理式
変数を持たない、もしくは全ての変数が束縛変数
逆に、自由変数を持つ論理式のことを開論理式という
参考
https://wiis.info/math/logic/predicate-logic/closed-formula-and-open-formula/