Warning: file_get_contents(/data/phpspider/zhask/data//catemap/9/blackberry/2.json): failed to open stream: No such file or directory in /data/phpspider/zhask/libs/function.php on line 167

Warning: Invalid argument supplied for foreach() in /data/phpspider/zhask/libs/tag.function.php on line 1116

Notice: Undefined index: in /data/phpspider/zhask/libs/function.php on line 180

Warning: array_chunk() expects parameter 1 to be array, null given in /data/phpspider/zhask/libs/function.php on line 181
Logic 什么是skolem常数和逻辑变量？_Logic - Fatal编程技术网
Fatal编程技术网
  • logic/
  • Logic 什么是skolem常数和逻辑变量？

Logic 什么是skolem常数和逻辑变量？

logic

Logic 什么是skolem常数和逻辑变量？,logic,Logic,在逻辑中，我多次看到skolem常量，它说它是用来代替存在变量的出现。但斯科勒姆常数有什么特别之处，为什么我们要做这样的替换，斯科勒姆常数是用来做什么的？为什么不把存在变量放在一边呢 另一个问题是什么是逻辑变量，为什么 谁能给我解释一下。 提前谢谢

在逻辑中，我多次看到skolem常量，它说它是用来代替存在变量的出现。但斯科勒姆常数有什么特别之处，为什么我们要做这样的替换，斯科勒姆常数是用来做什么的？为什么不把存在变量放在一边呢

另一个问题是什么是逻辑变量，为什么

谁能给我解释一下。 提前谢谢