Ik heb hier enkele antwoorden gezien die het gebruiken en ik weet niet wat het betekent of hoe het moet gebruiken. Ik ben ook moeilijk om ernaar te zoeken via een zoekmachine 🙂
Antwoord 1, Autoriteit 100%
Het is de ‘niet bewijsbare ‘ operator. Het slaagt als het argument niet bewijs is (en faalt als het argument is bewijs).
Antwoord 2, Autoriteit 29%
Het is met ontkenning. \+ Goalzal slagen als Goalniet kan worden bewezen.
Antwoord 3
De manier waarop ik onthoud het is via de volgende logische regel:
\+= ‘INDIENunsureOFfalse, neem aanfalse‘
Dit is anders dan standaard Boolean Logic in dat als je doel onzeker is in plaats van regelrecht waar of onwaar, het veronderstelt vals wanneer het niet waar kan blijken te zijn. Het meest voor de hand liggende voorbeeld hiervan is niet in staat om te zien of een stroom nog steeds open is of niet. Als u niet kunt bewijzen dat het open is, is het hetzelfde als wordt gesloten voor het programma.