个体域上的永真公式名词解释：一类基本公式.指对于个体域I上的任一指派的值均为真的公式.例如,α为公式(x)[xy],I为自然数域,则α是I上的永真公式,因为无论指派y以什么样的自然数,总存在xy,从而α为真.个体域I上的永真公式均为个体域I上的可满足公式.