全称閉包
from 数学基礎論 (数理論理学) 入門 by alg-d
定義.
φ を論理式として，φ に現れる自由変数全体を x1, · · · , xn とする．
このとき $ φ^∀ で∀x1 · · · ∀xn φ を表す．
$ φ^∀ は閉論理式である．
これを φ の全称閉包という．