标签： logic
在逻辑学中，我看到skolem常数很多次，它说它用来代替存在变量的出现。但是skolem常数和我们为什么要进行这种替换有什么特别之处呢，那个什么是skolem常数？为什么不单独留下存在变量？
另一个问题是什么是逻辑变量，那是什么？
任何人都可以向我解释。 提前谢谢！