Ответ 1
Это оператор not provable. Это удается, если его аргумент не доказуем (и терпит неудачу, если его аргумент доказуемо).
Я видел здесь несколько ответов, которые используют его, и я не знаю, что это значит или как его использовать. Мне также сложно найти его с помощью поисковой системы:)
Это оператор not provable. Это удается, если его аргумент не доказуем (и терпит неудачу, если его аргумент доказуемо).
Это происходит с отрицанием. \+ Goal
будет успешным, если Goal
не может быть доказано.