Fatal编程技术网
  • logic/
  • Logic 为什么子句是多集的？

Logic 为什么子句是多集的？

logic

Logic 为什么子句是多集的？,logic,theorem-proving,Logic,Theorem Proving,在自动定理证明中，通常将子句视为多组文字。这似乎有点奇怪，因为X或X=X，所以使用集合似乎是等效的，但更简单、更有效 是否有任何情况下，将子句视为文字集会给出错误的答案，尽管存在明显的逻辑等价性，因此实际上有必要使用多集？至少部分答案与包容有关。通常使用的包含标准是“存在一个变量替换，使C成为D的子集合”。如果将其替换为“subset”，那么尽管它在逻辑上仍然正确，但子句可以包含自己的因子，这将打破使用显式因子分解的演算

在自动定理证明中，通常将子句视为多组文字。这似乎有点奇怪，因为
X或X
=
X
，所以使用集合似乎是等效的，但更简单、更有效

是否有任何情况下，将子句视为文字集会给出错误的答案，尽管存在明显的逻辑等价性，因此实际上有必要使用多集？

至少部分答案与包容有关。通常使用的包含标准是“存在一个变量替换，使C成为D的子集合”。如果将其替换为“subset”，那么尽管它在逻辑上仍然正确，但子句可以包含自己的因子，这将打破使用显式因子分解的演算