我在这里看到了一些使用它的答案，但我不知道它的含义或如何使用它。我也很难通过搜索引擎找到它:)
问问题
42633 次
3 回答
33
它是“不可证明的”运算符。如果其论点不可证明，则成功（如果其论点可证明，则失败）。
于 2009-11-10T23:44:04.887 回答
9
它与否定有关。\+ Goal如果Goal不能被证明就会成功。
于 2009-11-10T23:45:14.713 回答
0
我记忆它的方式是通过以下逻辑规则：
\+= '如果unsure或false，假设false'
这与标准布尔逻辑的不同之处在于，如果您的目标是不确定的，而不是完全正确或错误的，那么当它不能证明为真时，它会假定为假。最明显的例子是无法查看流是否仍然打开。如果你不能证明它是开放的，那就和对程序关闭一样。
于 2018-04-18T14:11:22.493 回答