私はここでそれを使用するいくつかの答えを見ました、そしてそれが何を意味するのか、それをどのように使用するのか分かりません。私も検索エンジンでそれを探すのは難しいです:)
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 に答える