Skolem变量

用 $x$ 之类的值来表示一类常量特殊化一个自由变量

常用 $x!$ 表示

这里变量的意思是任意可能的一个常量，在计算真值的时候已经绑定了一个唯一的值