全称封闭式名词解释：一种闭公式.是用全称量词约束给定公式所有自由变元所得的闭公式.设公式α中含有n个自由的个体变元x1,x2,…,xn,则公式(xn)…(x2)(x1)α称为α的全称封闭式,以符号Δα记之.一个公式是永真的,当且仅当它的全称封闭式是永真的.
